.hgtags
Fri, 28 Aug 2015 18:08:21 +0200 ymh Added tag 00.00.12 for changeset 975c6a1fa0b8
Thu, 23 Jul 2015 18:28:45 +0200 durandn Added tag 00.00.11 for changeset 530ddc821956
Wed, 22 Jul 2015 17:51:14 +0200 ymh Added tag 00.00.10 for changeset 80abd18d84d1
less more (0) -10 -3 tip