diff -r 4ded424f4a5f -r 65ac1342ba1f .hgignore
--- a/.hgignore	Thu Jan 20 16:04:32 2022 +0100
+++ b/.hgignore	Thu Jan 20 16:04:58 2022 +0100
@@ -8,3 +8,5 @@
 \.rej$
 \.conflict\~$
 ^nbproject/.*$
+# Default ignored files
+.idea/workspace.xml