jEdit GitPlugin

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Skeeve wants to merge 1 commit from /u/ngc/GitPlugin/ to master, 2017-11-23

Commit	Date
[184927] by Stephan Hradek German translation for git.autoRename.label	2017-11-23 22:03:05	Tree