summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterapp-editors/jedit: remove unused patchMichael Mair-Keimberger1 min.