Prune 852 obsolete ports
[dports.git] / editors / kile-kde4 / files / patch-src_editorkeysequencemanager.cpp
2019-01-22 DPorts BuilderPrune 852 obsolete ports
2018-09-09 DPorts BuilderTweak editors/kile-kde4 version 2.1.3_7