| commit | 842818422bfd249d24799e925e043fceb5dca07e | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 23 20:56:25 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 23 20:56:25 2001 +0000 |
| tree | f039d487f8cc2a9ebdd2ef957384fe1db8ad32c6 | |
| parent | 0c63fe9b54379e635b54fea4060b01e0feddb7fb [diff] |
Use &# escape for non-ascii chars.