--- a/.hgignore	Tue Aug 13 22:14:32 2019 +0200
+++ b/.hgignore	Sat Sep 24 16:26:10 2022 +0200
@@ -8,3 +8,5 @@
 \.rej$
 \.conflict\~$
 ^nbproject/.*$
+# Default ignored files
+.idea/workspace.xml