.hgtags

changeset 15
0194715c1ad6
parent 11
a3de2575cfc8
--- a/.hgtags	Wed Dec 07 06:59:16 2022 +0200
+++ b/.hgtags	Wed Dec 07 06:59:19 2022 +0200
@@ -1,1 +1,2 @@
 b71edfd403aaf3045011769ce14775bfff94c4f5 v1.0.0-pre-arxiv
+12cee797937ff49574f95c766dc0b56395ed9f4f v1.0.0

mercurial