From 47831f0f1a5ee04ea2a8536b6f63ec658e2e703d Mon Sep 17 00:00:00 2001
From: slava <slava@factorcode.org>
Date: Mon, 27 Nov 2006 04:15:37 +0000
Subject: [PATCH] Fix contrib/jedit/

---
 contrib/jedit/jedit.facts | 7 -------
 contrib/jedit/load.factor | 2 +-
 2 files changed, 1 insertion(+), 8 deletions(-)
 delete mode 100644 contrib/jedit/jedit.facts

diff --git a/contrib/jedit/jedit.facts b/contrib/jedit/jedit.facts
deleted file mode 100644
index 850f387a77..0000000000
--- a/contrib/jedit/jedit.facts
+++ /dev/null
@@ -1,7 +0,0 @@
-IN: jedit
-USING: help ;
-
-HELP: jedit
-{ $values { "defspec" "a definition specifier" } }
-{ $description "Opens the source file and line number containing the given definition in a running jEdit instance." }
-{ $errors "Throws an error if the " { $snippet "~/.jedit/server" } " file does not exist. jEdit must be running and the edit server feature must be enabled for this word to work." } ;
diff --git a/contrib/jedit/load.factor b/contrib/jedit/load.factor
index 1fc6c15a5a..df83513712 100644
--- a/contrib/jedit/load.factor
+++ b/contrib/jedit/load.factor
@@ -1,2 +1,2 @@
 PROVIDE: contrib/jedit
-{ +files+ { "jedit.factor" "jedit.facts" } } ;
+{ +files+ { "jedit.factor" } } ;