commit | 3802039cffa557c2f127ee874f77235e3786bf31 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 18 17:47:12 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 18 17:47:12 1997 +0000 |
tree | 5df59f417e6f52fd5edda199c73acfb6333974fe | |
parent | e903aab83331aa828d28620a1b78d5f3a67254a3 [diff] |
Moved scripting to lib-scripting (did it the Sjoerd-way this time)