| commit | 3f4c173d5c770a709f3dd6e8e0fbbed867d9f0f1 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 27 21:32:34 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 27 21:32:34 2001 +0000 |
| tree | f6acf15303756bcda8f076ef73b4c33f9f9ec128 | |
| parent | 0d01787c13d0a6c6a704a47edaf1d8717810bca8 [diff] |
Oops, ISO translation was off. Fixed.