# HG changeset patch
# User Michael Guravage <michael.guravage@cwi.nl>
# Date 2011-10-04 12:09:29
# Node ID 4395ffa0b2dc2ba4e54de934b8c3c01eb75a2e0a
# Parent  6d4ff3be53efe8fb7b5205a88930fba8f2f84d3d

Removed tag v1.0.1

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -15,3 +15,5 @@ 0000000000000000000000000000000000000000
 0000000000000000000000000000000000000000 v1.0
 36b1885630942d1d6e4245c411b073c238717830 v1.0
 0c80cde2ff53ca7f93627b45c95d7a49240989d3 v1.0.1
+0c80cde2ff53ca7f93627b45c95d7a49240989d3 v1.0.1
+0000000000000000000000000000000000000000 v1.0.1