# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1505472420 -7200
# Node ID 494c9468dabc02434f34897e5758652b76181bc6
# Parent  748e69c58ee309f887f62c0d37d36dff36ac4cc1
Ignore the port's working directory

diff -r 748e69c58ee3 -r 494c9468dabc .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Fri Sep 15 12:47:00 2017 +0200
@@ -0,0 +1,3 @@
+syntax: regexp
+
+^work/