| commit | 6d653ab1b6463957f0c4d9059e778132c65123fa | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 07 17:06:49 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 07 17:06:49 1996 +0000 |
| tree | f8a4b25eb48dea90feab14ff4d416071142de465 | |
| parent | 0890857adfa51f504e00c25869c08d1df19568fd [diff] |
Got rid of toollibs, moved some libraries around