# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1664435968 -7200
# Node ID f7806d3585397dba7d367c036fa0c6eeee4e2620
# Parent  9a0f32f1678b84ceb2c32c63e88347556a6fef3b# Parent  b8cea9d588b1bbcd239f25ba518721225b04ee75
MERGE: the "origin" branch with the existing ports files

diff -r b8cea9d588b1 -r f7806d358539 .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Thu Sep 29 09:19:28 2022 +0200
@@ -0,0 +1,3 @@
+syntax: regexp
+
+^work/