Re: Moving Kile to KDE Gear

2022-01-02 Thread Michel
needs updating, for example. Thanks. Cheers, Michel

Re: Moving Kile to KDE Gear

2021-12-28 Thread Michel Ludwig
to update its documentation first. Cheers, Michel