/builders.pike/1.15/Thu Mar  5 03:15:39 1998//
/button_font/1.1/Fri Dec  6 00:02:52 1996//
/describers.pike/1.56/Tue Jul  7 17:03:20 1998//
/draw_things.pike/1.36/Sun May 23 20:44:50 1999//
/font/1.1/Tue Dec  3 01:04:39 1996//
/low_describers.pike/1.26/Fri Jun 11 01:03:26 1999//
/savers.pike/1.7/Tue Mar 23 22:24:49 1999//
D
