Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed junk;
authorwenzelm
Sun, 24 Feb 2019 12:48:43 +0100
changeset 69837 f2e4a94d9aaf
parent 69836 9b4901bda2a7
child 69838 4419d4d675c3
removed junk;
src/Tools/jEdit/patches/macosx file | annotate | diff | comparison | revisions 
--- 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
isabelle