../ ktexteditor-5.54.0-allow-change-marker-size.patch 30-Jan-2019 17:39 2381 ktexteditor-5.57.0-shortcuts.patch 22-Apr-2019 11:09 2231