source:
mainline/defaults/ia32@
7711296
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
Makefile.config | 1.1 KB | 83285fd | 14 years | add configuration choice to boot the ISO image using GRUB for BIOS … | |
output | 9 bytes | 31fb9a0 | 17 years | add support for predefined configuration profiles (and subprofiles, … |
|
Note:
See TracBrowser
for help on using the repository browser.