Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [28dd82] Maximize Restore History

Docs again.

Alan Ezust Alan Ezust 2013-07-29

changed doc
changed doc/users-guide
changed doc/users-guide/starting.xml
changed org
changed org/gjt
changed org/gjt/sp
changed org/gjt/sp/jedit
changed org/gjt/sp/jedit/pluginmgr
changed org/gjt/sp/jedit/pluginmgr/PluginManager.java
changed org/gjt/sp/jedit/textarea
changed org/gjt/sp/jedit/textarea/TextAreaPainter.java
doc
Directory.
doc/users-guide
Directory.
doc/users-guide/starting.xml Diff Switch to side-by-side view
Loading...
org
Directory.
org/gjt
Directory.
org/gjt/sp
Directory.
org/gjt/sp/jedit
Directory.
org/gjt/sp/jedit/pluginmgr/PluginManager.java Diff Switch to side-by-side view
Loading...
org/gjt/sp/jedit/textarea/TextAreaPainter.java Diff Switch to side-by-side view
Loading...