changeset 742:232dfe6c7ec6

Settings tag v3.3.
author Sjoerd Mullender <sjoerd@acm.org>
date Thu, 23 Feb 2023 16:10:34 +0100 (2023-02-23)
parents 843f7d03540a
children 8bd314491d3e
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags
+++ b/.hgtags
@@ -7,3 +7,4 @@ 70808ab71d2ad997d7b7fa38d675fc90f71a059c
 bc39810b3faa4c52ce63b29147075e91266a3e84 v3.0
 a80b5db244b8ceeea936770b9c5f314d46251fb3 v3.1
 fd66573f88946b488e4f1f26db624d8f370aa5a8 v3.2
+843f7d03540ab1170ce80d9e89993235b45d3ff9 v3.3