| commit | 6c502d7a81ba169a2c034e0b0aa3633489657c70 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 03 22:31:50 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 03 22:31:50 2000 +0000 |
| tree | a5f73c001aebccf10a1452eb7fa9ffa647887d2b | |
| parent | afb17fc7b2782bddd74ffcf4f5b51efc9a9b4545 [diff] |
Got it working for all important plugins, and moved it from Build to scripts.