| commit | 59cdbce9b1bfe9da72b4843e125f1c9cd28bfa75 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 21 16:28:09 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 21 16:28:09 2003 +0000 |
| tree | 188fd2322db2079cecd73dfcee3f6239abed1a4d | |
| parent | 714caa0c35c3fb51a5ba3e4f1845248dc543e131 [diff] |
Got rid of the "enum not found" interaction, and added code to allow overriding the creator signature.