| commit | a662cf401a34b5a55a5238dbfb8e257a6af95213 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 28 14:17:35 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 28 14:17:35 1996 +0000 |
| tree | 69a217f9bb505c6fdb1c5e12ac6753384851fe33 | |
| parent | 055782a15e8722d36d4a0d24e8d59affe204c39a [diff] |
Removed RunLibScript from build