.hgtags
branchv_0
changeset 1 8efe93bddffb
child 3 9236822bfc0e
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Tue Jul 30 23:56:31 2019 +0200
@@ -0,0 +1,1 @@
+f28025ce355dd5fc1af907181317468bb6048461 v0.13