commit | dec99ef2987eec0cbd3d25c3e3f16e260d730f16 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 19 14:10:53 1998 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 19 14:10:53 1998 +0000 |
tree | c60ed93c811e0940f617a4a2ac4cee370b6aa489 | |
parent | 42db27fedc6d1e1600eeb6fa68e7925890350255 [diff] |
Various libraryies have been moved around and renamed, now that we have them under cvs too.