3 Commits

Author	SHA1	Message	Date
crs	3d41e1c7fd	checkpointing notes.	2002-08-02 21:57:29 +00:00
crs	ea78e02279	added some scripts and files not for distribution.	2002-08-02 21:57:03 +00:00
crs	8c1f5f623b	added EXTRA_* files to get `make dist' doing the right thing.	2002-07-31 16:27:06 +00:00