| commit | 87426b9f1bdc0351158a563e334ba45c4eebe6b5 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 17 22:12:12 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 17 22:12:12 2000 +0000 |
| tree | e43c33c591a6406efed3026e89bf0d42216f93f2 | |
| parent | 60762cb920dc7880f18600b30198650ea550e8de [diff] |
Use the new package-based scripting support.