Factor plugin 0.76

diff --git a/factor/jedit/FactorPlugin.props b/factor/jedit/FactorPlugin.props
index e57c42e450ff8b69ecf3adf53772a356bedd7e32..a815a43ff32c21740e0710ea6f43918773b37eab 100644 (file)
--- 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.75
+plugin.factor.jedit.FactorPlugin.version=0.76
 plugin.factor.jedit.FactorPlugin.author=Slava Pestov
 plugin.factor.jedit.FactorPlugin.docs=/doc/jedit/index.html