diff -r 58618d93c0fb -r a810539dc218 .hgignore
--- a/.hgignore	Mon Jan 07 22:35:32 2019 +0100
+++ b/.hgignore	Tue Jan 08 21:54:19 2019 +0100
@@ -9,6 +9,7 @@
 doc/bms.pdf
 www/version.php
 www/config.php
+www/run/sequence
 
 syntax: glob
 *.o