--- 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