--- a/.hgignore	Thu Feb 23 18:59:04 2017 +0100
+++ b/.hgignore	Thu Mar 02 15:09:17 2017 +0100
@@ -8,6 +8,7 @@
 ^dev/corpus-dev.box$
 ^dev/.*\.rpm
 ^dev/provisioning/custom.yaml
+^dev/proxy
 ^server/data
 ^server/src/\.git.*
 ^server/src/\.env