Menu ▾ ▴

Commit [88b26d]  Maximize  Restore  History

Setting version to 5.2.99.00 (5.2.0 final)

Eric Berry Eric Berry 2015-02-02

Browse code at this revision

Parent: [1d428f]

Child: [d584df]

changed org/gjt/sp/jedit/jEdit.java
org/gjt/sp/jedit/jEdit.java Diff Switch to side-by-side view
Loading...