Peter Korsgaard 91141b1411 Merge branch 'next'		2013-08-31 23:32:29 +02:00
..
dependencies
gnuconfig
kconfig
legal-info
libtool
misc
scripts	gen-manual-lists.py: fixup after 2440385 (config: reorder top-level menu)	2013-08-30 00:29:27 +02:00