| commit | 87352f80651c8d28fcdae305530e49cc7c8f3379 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 12 10:29:06 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 12 10:29:06 1999 +0000 |
| tree | 59871a5f485551e3c4da20f8806128166124bd6e | |
| parent | c731723730cfefe0477897d31cabc930a028445f [diff] |
Build all plugins modules separately, the PlugIns.prj project seems to have stopped working.