Repository: debian-installer/main-menu who: joeyh time: Fri May 4 18:11:14 PDT 2001 Log Message: * Use seen flag rather than old isdefault flag. (The isdefault() function just has an unfortunate name, it is really unconnected with these flags..) Files: changed: TODO main-menu.c