diff options
Diffstat (limited to 'support/jedit/console/README')
-rw-r--r-- | support/jedit/console/README | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/support/jedit/console/README b/support/jedit/console/README deleted file mode 100644 index 68d7d2f070..0000000000 --- a/support/jedit/console/README +++ /dev/null @@ -1,32 +0,0 @@ -* Introduction - -This directory contains description files (.xml) for executing Scala commands -from the Console plugin for jEdit. - -More information about jEdit is available from: - - http://www.jedit.org/ - -* Requirements - -You first need to install the Console plugin for jEdit by following the -navigation path: - - menu "Plugins" -> menu item "Plugin Manager..." -> tab "Install"). - -More information about the Console plugin is available from: - - http://plugins.jedit.org/plugins/?Console - -* Installation - -Copy the directory "console" to the following location: - - ~/.jedit/ - -From that point on, entries for the Scala commands should be accessible from the -submenu "Console" in the "Plugins" menu. - -* Version - -$Id$ |