Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Commit [bf8c32] Maximize Restore History

Merge branch 'master' of ssh://jedit.git.sourceforge.net/gitroot/jedit/MarkerSets

Shlomy Reinstein Shlomy Reinstein 2011-08-03

removed .classpath
changed src/marker/MarkerSetsPlugin.java
changed MarkerSets.props
changed description.html
changed src/marker/tree/SourceLinkTree.java
.classpath
File was removed.
src/marker/MarkerSetsPlugin.java Diff Switch to side-by-side view
Loading...
MarkerSets.props Diff Switch to side-by-side view
Loading...
description.html Diff Switch to side-by-side view
Loading...
src/marker/tree/SourceLinkTree.java Diff Switch to side-by-side view
Loading...