changeset 6:6efa30daf61d

Removed tag v11.25.1
author Sjoerd Mullender <sjoerd@acm.org>
date Tue, 20 Sep 2016 10:19:14 +0200 (2016-09-20)
parents 2a267cba51fd
children db64265f237d
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags
+++ b/.hgtags
@@ -1,1 +1,3 @@
 e6d9dd0cff68a238fafce389d29e01ef10490ea9 v11.25.1
+e6d9dd0cff68a238fafce389d29e01ef10490ea9 v11.25.1
+0000000000000000000000000000000000000000 v11.25.1