Peter Korsgaard dcb43a0eb0 barebox: patch-kernel.sh is no more ... Thanks to Sven Neumann for noticing. Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2011-09-19 10:13:37 +02:00
..
barebox.mk	barebox: patch-kernel.sh is no more	2011-09-19 10:13:37 +02:00
Config.in	boot: get rid of toplevel submenus	2011-09-18 22:09:42 +02:00