# HG changeset patch # User Franz Glasner # Date 1664396125 -7200 # Node ID 0821ef77e993f55c46a687d4dc9c7dc4c279023f # Parent a0092ac0ba787feabc46438c401e28d007bf10a4# Parent 5797a1bc38cbe8b702f784ea6b8d702e66c77d86 MERGE: the "origin" branch with the existing ports files diff -r 5797a1bc38cb -r 0821ef77e993 .hgignore --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgignore Wed Sep 28 22:15:25 2022 +0200 @@ -0,0 +1,3 @@ +syntax: regexp + +^work/