diff -r fd9a33a86532 -r dace11211dc9 .hgignore
--- a/.hgignore	Tue Jan 07 17:01:06 2020 +0100
+++ b/.hgignore	Sat Jan 11 01:02:01 2020 +0100
@@ -1,7 +1,9 @@
 syntax: glob
 
 *~
+.~*\#
 
 syntax: regexp
 
 ^exec/protocol\.(pdf|png|svg)
+^exec/ExecMsg\.(h)