# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1464077149 -7200
# Node ID 86cdb5c21cc7639db79f573c7beb0740fe13ef02
# Parent  5d71a5c05d87a8495d16d3157c9e1229afe52701
Backed out changeset 5d71a5c05d87

diff -r 5d71a5c05d87 -r 86cdb5c21cc7 .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Tue May 24 10:05:49 2016 +0200
@@ -0,0 +1,3 @@
+# ignore the .hgignore file - each machine must have its
+# own local version that is not intended to be checked in
+.hgignore