Bjørn Forsman 68ce9e91e1 linux: really provide /proc/config.gz ... Currently there is no /proc/config.gz, even though the configuration indicates it. This fixes it.		2013-08-16 23:12:07 +02:00
..
darwin	Merge pull request #723 from lovek323/darwin-tools	2013-07-07 04:49:04 -07:00
gnu
linux	linux: really provide /proc/config.gz	2013-08-16 23:12:07 +02:00
windows