.hgtags
changeset 12 f045444a34f3
child 174 63952d8b26b8
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed Jul 05 16:33:56 2017 +0200
@@ -0,0 +1,1 @@
+1cc8dd79fd1cd13d36b385196271a29632c67c3b jdk7-b24