/README/1.4/Tue Sep  8 15:00:25 1998//
/clean_db.sh/1.1/Fri Aug  7 01:25:16 1998//
/dumptable.pike/1.2/Mon Oct 19 22:11:22 1998//
/loadtable.pike/1.1/Mon Aug 24 03:08:44 1998//
/make_key.pike/1.5/Wed Dec 27 18:18:41 2000//
/read_key.pike/1.2/Wed Dec 27 18:18:41 2000//
D/upgrade////
