changeset 57:7a8311219f2f default tip

Version 1.3.
author Sjoerd Mullender <sjoerd@acm.org>
date Mon, 31 Oct 2022 16:18:43 +0100 (2022-10-31)
parents cbac6d996b87
children
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags
+++ b/.hgtags
@@ -2,3 +2,4 @@ 1cd213d2b7f5b3b291a61de9bdd9ffad0f49e220
 257422dd802a9156f884c177947a52b74d94b332 v1.1-1
 3e289da81c9e516f52080ad794080a8dbc95a6ea v1.1-3
 91ec04bb88c6d53012f50eefaf06adad8cd3b05c v1.2
+cbac6d996b87091750b48607d1e0ca13d3026b9a v1.3