From 2c0f7659ec05ac00fae9af4074cb62cbb6775065 Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Fri, 16 Dec 2005 18:19:00 +0000 Subject: Removed tool support from the scala core module. --- support/jedit/modes/README | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 support/jedit/modes/README (limited to 'support/jedit/modes/README') diff --git a/support/jedit/modes/README b/support/jedit/modes/README deleted file mode 100644 index 04609548f5..0000000000 --- a/support/jedit/modes/README +++ /dev/null @@ -1,33 +0,0 @@ -* Introduction - -This directory contains an additional syntax highlighting mode (.xml) for -Scala programs. You will need to add a mode catalog entry after placing the -mode file in an appropriate mode directory. - -More information about jEdit is available from: - - http://www.jedit.org/ - -* Installation - -Copy the file "scala.xml" to the following location: - - ~/.jedit/modes/ - -or alternatively to the location: - - /modes/ - -Add the following entry to the file "catalog" present in the same directory -as "scala.xml" you just copied. - - - -Restart the jEdit text editor. - -From that point on, loading a file whose name ends in ".scala" automatically -turns Scala mode on. - -* Version - -$Id$ -- cgit v1.2.3