From 33e2ee1c9675aa594ee8b4ea06142af46d294e4a Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 29 Jul 2005 20:23:14 +0000 Subject: [PATCH] bump factor plugin version number, compiler work --- 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 a815a43ff3..65d4ed2c81 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.76 +plugin.factor.jedit.FactorPlugin.version=0.77 plugin.factor.jedit.FactorPlugin.author=Slava Pestov plugin.factor.jedit.FactorPlugin.docs=/doc/jedit/index.html