steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Factor plugin 0.76

cvs jedit-plugin-76
Slava Pestov 2005-06-30 18:33:28 +00:00
parent 5c9955fa52
commit 7c65ed1423
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
factor/jedit/FactorPlugin.props
View File

@ -2,7 +2,7 @@
plugin.factor.jedit.FactorPlugin.activate=startup plugin.factor.jedit.FactorPlugin.activate=startup
plugin.factor.jedit.FactorPlugin.name=Factor 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.author=Slava Pestov
plugin.factor.jedit.FactorPlugin.docs=/doc/jedit/index.html plugin.factor.jedit.FactorPlugin.docs=/doc/jedit/index.html