Always honor the "nodhcp" boot option
[live-boot-grml.git] / debian / compat
1 7