CVSROOT: /cvs/debian-boot Module name: debian-installer Changes by: tausq 01/01/20 11:52:14 Modified files: main-menu : main-menu.c Log message: minor fix so that main-menu behaves when there are no installer packages