/patch-GUI_xephem_Imakefile/1.1/Wed Jul 31 06:06:52 2002//
/patch-GUI_xephem_ps_c/1.2/Wed Jul 31 03:28:56 2002//
D
