]> gitweb.factorcode.org Git - factor.git/commit
updated jEdit plugin documentation
authorSlava Pestov <slava@factorcode.org>
Wed, 8 Jun 2005 22:38:11 +0000 (22:38 +0000)
committerSlava Pestov <slava@factorcode.org>
Wed, 8 Jun 2005 22:38:11 +0000 (22:38 +0000)
commit6d6e35100b84b78409163ea64a2317aa9c15dc6b
tree712e5895c374aca258c8502ef362a125df33f56a
parentd66e281af7020041cd0b0fffeb6d9ee9763a4f2a
updated jEdit plugin documentation
actions.xml
build.xml
doc/jedit/index.html
factor.keymap [new file with mode: 0644]
factor/jedit/FactorPlugin.props