Author: bmesing-guest Date: Sun Aug 7 09:56:04 2005 New Revision: 1125 Removed: tagcoll/branches/bigmerge/tagcoll/ Log: [Bigmerge] Sorry, copied the whole tagcoll directory (including branches, tags and trunk). Removed again.