commit | 18b47a07b7e0d962a9ae4cade56eebbf46e1273a | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 20 20:02:39 2000 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 20 20:02:39 2000 +0000 |
tree | f1e247ef1540ff9834da3241f190766f7eae884e | |
parent | 8bcd471606837a8731692e878bab2539048c802b [diff] |
Fixed again to work with the old scripting interface (so we can test the new one actually still works).