| commit | d67566b0f09d0d3064dbadc40f6cf9634b608a6c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 27 11:04:20 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 27 11:04:20 2001 +0000 |
| tree | 9f4eee42e6c24a9bc03163ded468f7cd446a6b3b | |
| parent | e99bd17ed6ffbb7a6deee9b80b83ce6a9e4e8b10 [diff] |
Use the filename, not the pathname, in the definitions file comment. This way the generated files are identical when generated on different machines.