Repository: debian-installer/retriever/choose-mirror who: joy time: Thu Aug 29 05:37:15 MDT 2002 Log Message: two small corrections to comments Files: changed: makeheader.pl