.hgtags
branchjv
changeset 527 32e722badd92
parent 320 eaedd91b98a6
--- a/.hgtags	Sat Aug 19 14:43:15 2017 +0100
+++ b/.hgtags	Mon Jul 02 08:46:02 2018 +0200
@@ -32,3 +32,4 @@
 b6e13772ac08deb97444c035765dc823e65b0ff2 expecco_2_6_1
 b6e13772ac08deb97444c035765dc823e65b0ff2 expecco_2_6_2
 f3f0f1f509187a858eaff11e4475621dc2dd20ae expeccoNET_1_6_8_0
+a7f6c7bc62a80f306315bf43c468543c8c9ade8b stx-8.0.0