christos a6d86f0535 Changes to write ascii timestamps in the when files. ... Looked into making it 64 bit clean, but it is hopeless. Added little program to convert from the old timestamp files into the new ones.		1995-06-03 21:21:48 +00:00
..
source	Changes to write ascii timestamps in the when files.	1995-06-03 21:21:48 +00:00