/builders.pike/1.15/Wed Oct 21 16:15:11 1998//
/button_font/1.1/Wed Oct 21 16:15:11 1998//
/describers.pike/1.56/Wed Oct 21 16:15:10 1998//
/draw_things.pike/1.34/Wed Oct 21 16:15:11 1998//
/font/1.1/Wed Oct 21 16:15:11 1998//
/low_describers.pike/1.25/Wed Oct 21 16:15:11 1998//
/savers.pike/1.6/Wed Oct 21 16:15:11 1998//
D
