diff -r f0d7178043c1 -r aea83a43b09a .hgignore
--- a/.hgignore	Sat Mar 25 17:23:09 2023 +0100
+++ b/.hgignore	Sun Apr 16 14:08:19 2023 +0200
@@ -3,6 +3,7 @@
 ^build/.*$
 ^docs/src/build/.*$
 core$
+^config.mk$
 ^.c?project$
 ^.settings/.*$
 ^test/bin-test/tmp-sync