| commit | 617e2305ee5d620409aa4679dccc39323a06f7a1 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 08 21:16:56 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 08 21:16:56 2002 +0000 |
| tree | d65502efd5284e2a8e186bbaca01e472a76fe479 | |
| parent | febd61dc02f0edbe9aa746fabde8ce97fbbeabdb [diff] |
Use hex escape for non-ascii chars, now that the parser wants that. Good thing, too: some of the characters had been mangled by OS9->CVS->OSX roundtrips.