diff options
Diffstat (limited to 'src/util/ChangeLog')
| -rw-r--r-- | src/util/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util/ChangeLog b/src/util/ChangeLog index 0a0f98df7..948567738 100644 --- a/src/util/ChangeLog +++ b/src/util/ChangeLog @@ -1,3 +1,8 @@ +2001-10-17 Danilo Almeida <dalmeida@mit.edu> + + * def-check.pl: Provide a little bit of usage info. More + error-checking. + 2001-10-17 Ken Raeburn <raeburn@mit.edu> * def-check.pl: New file. Not currently used by any automatic |