| commit | 581fa783627b48f11cc2c4748574f9a895d00848 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 14 22:29:58 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 14 22:29:58 2000 +0000 |
| tree | 80cccf2b575566b1356049c5ae0331fee8da1f12 | |
| parent | 80716f0e618cc5689161cea55328e4c8bb1f4b3d [diff] |
First stab at a script that mimicks Matthias Neerachers tool used to build GUSI.