# HG changeset patch # User wenzelm # Date 1551008923 -3600 # Node ID f2e4a94d9aaf599a6dffef6f98bebe2f9d4884b0 # Parent 9b4901bda2a78043482aeab04b90bf72ce3c628f removed junk; diff -r 9b4901bda2a7 -r f2e4a94d9aaf src/Tools/jEdit/patches/macosx --- a/src/Tools/jEdit/patches/macosx Sat Feb 23 16:31:58 2019 -0500 +++ b/src/Tools/jEdit/patches/macosx Sun Feb 24 12:48:43 2019 +0100 @@ -1,4 +1,3 @@ -Only in MacOSX-trunk: build diff -ru MacOSX-trunk-r24891/build.properties MacOSX-trunk/build.properties --- MacOSX-trunk-r24891/build.properties 2018-10-20 11:45:32.632681780 +0200 +++ MacOSX-trunk/build.properties 2018-10-20 13:11:21.039870008 +0200