diff -r 0ef62ec2d5b0 -r 6470e5c6a001 .hgignore
--- a/.hgignore	Sat Jan 12 20:18:54 2019 +0100
+++ b/.hgignore	Sat Jan 19 12:05:37 2019 +0100
@@ -9,6 +9,7 @@
 doc/bms.pdf
 www/version.php
 www/config.php
+www/thermferm
 www/run/sequence
 
 syntax: glob