# HG changeset patch # User wenzelm # Date 1271276290 -7200 # Node ID 7bfbb247a5dfcf5d1bb87f1fb666eeaac33bf2ab # Parent 42d690c1cd315698d179a15c5785e2f02b5a30af tuned whitespace; diff -r 42d690c1cd31 -r 7bfbb247a5df src/Tools/jEdit/README_BUILD --- a/src/Tools/jEdit/README_BUILD Wed Apr 14 22:13:28 2010 +0200 +++ b/src/Tools/jEdit/README_BUILD Wed Apr 14 22:18:10 2010 +0200 @@ -15,9 +15,6 @@ * jEdit 4.3.1 (final) http://www.jedit.org/ - - - Netbeans Project "jEdit": install official sources as ./contrib/jEdit/. * jEdit plugins: