# HG changeset patch
# User Michael Guravage <michael.guravage@cwi.nl>
# Date 2010-04-14 07:52:00
# Node ID 87fa95207a068c6c56cdb3f3d9613c6099df7231
# Parent  79f94eaa3b9ef0ddd6c87c31ff602588c97ab86f

Added tag v1.0 for changeset 79f94eaa3b9e

diff --git a/.hgtags b/.hgtags
new file mode 100644
--- /dev/null
+++ b/.hgtags
@@ -0,0 +1,1 @@
+79f94eaa3b9ef0ddd6c87c31ff602588c97ab86f v1.0