Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Config-defaults.in | 2017-10-19 14:32 | 54K | ||
Config.in | 2017-10-19 14:32 | 774 | ||
Makefile | 2017-10-19 14:32 | 4.2K | ||
config/ | 2017-10-19 14:32 | - | ||
convert_defaults.pl | 2017-10-19 14:32 | 327 | ||
convert_menuconfig.pl | 2017-10-19 14:32 | 1.9K | ||
files/ | 2017-10-19 14:32 | - | ||
patches/ | 2017-10-19 14:32 | - | ||