create a platform config-* file if there is none already when running kernel_menuconf...
[openwrt.git] / package / grub /
drwxr-xr-x   ..
-rw-r--r-- 1800 Makefile
drwxr-xr-x - patches
This page took 0.027968 seconds and 5 git commands to generate.