John 08aa459f3d ktexteditor: update to 5.72.0 ... [ci skip]		2020-07-11 14:06:39 +02:00
..
template	ktexteditor: update to 5.72.0	2020-07-11 14:06:39 +02:00