commit | 9feabbdcd212148619526a397640af817bcd0fca | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Nov 19 13:47:22 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Nov 19 13:47:22 2003 +0000 |
tree | 8f59f132f45b52a4812fda4ff727e7a82976949f | |
parent | d48364e8b18647bdb71df0d375ba930a14f65ce2 [diff] |
This file is utf-16, not utf-8 (or ascii).