| commit | 4518577b2402bf45691bd39ff1e010aa562378e2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 13:38:36 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 13:38:36 1995 +0000 |
| tree | ad3f248da5e2cf5f150e248e407c3c19fd68805f | |
| parent | 479c1b300871f297b716b25c2cd9494d51ace0c8 [diff] |
Fixed incorrect tex-code for readline