commit | 1a0dafb1ce9b3cd9bf1268a038eda20df3a93c54 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Mar 20 16:19:00 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Mar 20 16:19:00 1996 +0000 |
tree | 7666ee4ac8c1cfe057bedfc9121984d309db74d0 | |
parent | ca5e5edc69554b0a7dde5538b2dccdf7e63ab95f [diff] |
Somehow the <<terminated>> got mangled. Fixed.