steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/basis/editors/jedit
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
..
authors.txt
…
jedit.factor 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
summary.txt
…
tags.txt
…