diff -r d5af9261231d -r b533da8e7411 .hgignore
--- a/.hgignore	Sun Jun 11 15:21:44 2023 +0200
+++ b/.hgignore	Sun Sep 24 18:43:58 2023 +0200
@@ -6,4 +6,5 @@
 ^build/.*$
 ^nbproject/.*$
 .idea/
+^config.mk$