.hgtags
branchv_0
changeset 17 c9f86c734d40
child 19 ffc7b0757e23
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed Feb 20 11:30:50 2019 +0100
@@ -0,0 +1,1 @@
+2dcc22b7a42487c83f72dfdf1815593150cb3ba2 v0.10