From 2bc3efd209d64475d99ce3708398c52d1be6bdb7 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Sat, 19 Mar 2005 02:45:45 +0000
Subject: [PATCH] Factor plugin 0.73

---
 factor/jedit/FactorPlugin.props | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/factor/jedit/FactorPlugin.props b/factor/jedit/FactorPlugin.props
index bef603aeeb..ef7d095892 100644
--- a/factor/jedit/FactorPlugin.props
+++ b/factor/jedit/FactorPlugin.props
@@ -2,7 +2,7 @@
 plugin.factor.jedit.FactorPlugin.activate=startup
 
 plugin.factor.jedit.FactorPlugin.name=Factor
-plugin.factor.jedit.FactorPlugin.version=0.72
+plugin.factor.jedit.FactorPlugin.version=0.73
 plugin.factor.jedit.FactorPlugin.author=Slava Pestov
 plugin.factor.jedit.FactorPlugin.docs=/doc/jedit/index.html