| commit | 1476c2753bd78d6c18a9ea1176e9b8dc63d56e44 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 23 10:52:44 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 23 10:52:44 2002 +0000 |
| tree | 591f618a71fbcb06e97e5374f1ce675c1ac66005 | |
| parent | ae7639dbfb743f613fe92da1ed72216a49cccf1a [diff] |
There was a non-ascii character in the source. Replaced by a hex escape.