.hgtags
changeset 585 700a1562486e
parent 580 41b5d419a0e2
child 595 69071bafb07e
--- a/.hgtags	Mon Oct 19 14:18:51 2015 +0200
+++ b/.hgtags	Mon Oct 19 14:19:49 2015 +0200
@@ -80,3 +80,4 @@
 60297c027bb5f5199b089bb0d35caa10b03468fe V00.12.11
 e0e29c7047c8a9d98c97b2144fe0b07b5c39ebb3 V00.12.12
 197fbb208e0d78a2ee1913312dc435e92a264723 V00.12.13
+bfbe490c5a7c176d5a95c50da6fada1e14ae7bb0 V00.12.14