summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-util/source-highlight: remove unused patch(es)Michael Mair-Keimberger2020-03-281-12/+0
* dev-util/source-highlight: fix dark colors in GDBTiziano Müller2019-04-131-0/+12