| commit | 33d0093c8cfefecc82cf1df50d95f63855cb7cde | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 20 15:48:52 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 20 15:48:52 1998 +0000 |
| tree | e9a4c2aef7687ec8e46b575ea4fb7d58065281c1 | |
| parent | 128aae2ce3fd105767bde473862f76f6f850d1be [diff] |
All libraries have now been moved to their new location, with their new names. As everything is also under CVS this should greatly simplify the work to be done when a new version of one of the libraries we use is released.