diff -r dace11211dc9 -r 03cd058c33ba .hgignore
--- a/.hgignore	Sat Jan 11 01:02:01 2020 +0100
+++ b/.hgignore	Sat Jan 11 18:06:58 2020 +0100
@@ -5,5 +5,5 @@
 
 syntax: regexp
 
-^exec/protocol\.(pdf|png|svg)
-^exec/ExecMsg\.(h)
+^streamlet/protocol\.(pdf|png|svg)
+^streamlet/StreamletMsg\.(h|envelope\.h)