# HG changeset patch
# User Michael Guravage <michael.guravage@cwi.nl>
# Date 2011-10-04 11:09:19
# Node ID b0797787e1b27b3c3b99f193a03b23a3f1157603
# Parent  0c80cde2ff53ca7f93627b45c95d7a49240989d3

Added tag v1.0.1 for changeset 0c80cde2ff53

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -14,3 +14,4 @@ 79f94eaa3b9ef0ddd6c87c31ff602588c97ab86f
 0000000000000000000000000000000000000000 v1.0
 0000000000000000000000000000000000000000 v1.0
 36b1885630942d1d6e4245c411b073c238717830 v1.0
+0c80cde2ff53ca7f93627b45c95d7a49240989d3 v1.0.1