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.
redundant;
authorwenzelm
Wed, 21 May 2025 15:09:48 +0200
changeset 82654 60bd591ef3fc
parent 82647 21c3b55787a6
child 82655 b5b3082c9866
redundant;
src/Tools/jEdit/patches/laf_fonts file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/patches/laf_fonts	Wed May 21 14:38:46 2025 +0200
+++ b/src/Tools/jEdit/patches/laf_fonts	Wed May 21 15:09:48 2025 +0200
@@ -12,4 +12,3 @@
  
  		// This is handled a little differently from other jEdit settings
  		// as this flag needs to be known very early in the
-diff -ru jedit5.7.0/jEdit/org/gjt/sp/jedit/View.java jedit5.7.0-patched/jEdit/org/gjt/sp/jedit/View.java
isabelle