rsadowski ef6da2a0bb Update KDE Gear to 22.12.0 ... https://kde.org/announcements/gear/22.12.0/		2022-12-18 09:10:50 +00:00
..
pkg	drop RCS Ids	2022-03-11 18:58:26 +00:00
Makefile	Update KDE Gear to 22.12.0	2022-12-18 09:10:50 +00:00
distinfo	Update kile to 2.9.93	2020-04-05 15:49:09 +00:00