/badfmags.pro/1.1/Tue Feb 10 19:13:46 2004//
/badfstars.pro/1.2/Fri Feb  6 20:11:47 2004//
/daytime_test.pro/1.1/Thu Sep 11 21:51:17 2003//
/dr1list_best.pro/1.2/Thu Sep 11 22:09:07 2003//
/find_unplugged.pro/1.1/Thu Sep 11 22:20:11 2003//
/fstars_plot.pro/1.1/Fri Feb  6 00:12:49 2004//
/listchi.pro/1.1/Mon Aug 29 21:02:35 2005//
/listexptime.pro/1.1/Wed Sep 10 22:05:36 2003//
/platecen_test.pro/1.1/Thu Sep 11 21:42:26 2003//
/plugfile_relabel.pro/1.1/Fri Feb  6 19:35:00 2004//
/plugfile_unmapped.pro/1.1/Thu Sep 11 22:21:03 2003//
/smeartimes.pro/1.1/Thu Sep 11 22:52:09 2003//
/update_plate_release.pro/1.1/Fri Feb  6 00:09:28 2004//
/update_platelist.pro/1.1/Thu Sep 11 21:33:46 2003//
D
