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