| commit | 26d813e42c6b13373ad358df81c66634ced5ffcf | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 12 16:09:44 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 12 16:09:44 2001 +0000 |
| tree | 4a02fb56116815a28ede9f6306cb9a8c7b71b703 | |
| parent | e38d481e7740fc52cb845b9078642b9a0b0e1004 [diff] |
Got rid of full pathnames in "generated from" comments, so that these files are the same no mater which machine they've been generated on.