commit | b34d0ed403f5bc4d42d2333a0ba462791772d877 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 01 23:17:43 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 01 23:17:43 2001 +0000 |
tree | c24da12de4c18e14bff49254d8ae0830078a5d4f | |
parent | 1b45c73be02ddfe1e42a546a8dc9b4e1d0f26149 [diff] |
Removed some stuff that shouldn't be in the dev distribution.