| commit | bae5c965e8d42c791ec42959f7b025f29f38926e | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 11 15:35:28 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 11 15:35:28 2003 +0000 |
| tree | ed1b941e4ad2284ab08562e24a0ac6cd19fbbd68 | |
| parent | 126f2b76b9413d861f3a8f7d70af67a634982e31 [diff] |
Moved all the scripting stuff to a separate section, added all the missing bits (well, all the bits I could think of) and updated the rest.