diff -r e9a5dd08258d -r 7e67689241fd .hgignore
--- a/.hgignore	Wed Nov 02 11:45:56 2022 +0100
+++ b/.hgignore	Sat Feb 25 11:01:46 2023 +0100
@@ -3,6 +3,7 @@
 ^build/.*$
 ^docs/src/build/.*$
 core$
+^config.mk$
 ^.c?project$
 ^.settings/.*$
 ^test/bin-test/tmp-sync