Commit Graph

2 Commits

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