This website requires JavaScript.
Explore
Help
Sign In
steve
/
factor
Watch
1
Star
0
Fork
You've already forked factor
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
d6fe7f4c28
factor
/
basis
/
editors
History
Slava Pestov
1aaa756056
editors.jedit: update for jEdit 4.3.2, which places jEdit settings directory in $HOME/Library/jEdit instead of $HOME/.jedit on Mac OS X
2010-09-14 21:20:02 -07:00
..
editpadlite
…
editpadpro
…
editplus
…
emacs
…
emeditor
…
etexteditor
…
gedit
…
gvim
…
jedit
…
macvim
…
notepad
…
notepad2
…
notepadpp
…
scite
…
ted-notepad
…
textedit
…
textmate
…
textpad
…
textwrangler
…
ultraedit
…
vim
…
wordpad
…
authors.txt
…
editors-docs.factor
…
editors.factor
…
summary.txt
…
tags.txt
…