# HG changeset patch
# User Peter Gervai <grin@grin.hu>
# Date 1675547470 -3600
# Node ID 9cdd932ecedac35bb95668f08ada6fa283f9de26
# Parent  0dd7f2c9fd81eacc729d0a77fb33e7004c0fe706
Added tag v1.00 for changeset 0dd7f2c9fd81

diff -r 0dd7f2c9fd81 -r 9cdd932eceda .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Sat Feb 04 22:51:10 2023 +0100
@@ -0,0 +1,1 @@
+0dd7f2c9fd81eacc729d0a77fb33e7004c0fe706 v1.00