[utilities/kate] doc/kate: remove dead documentation code

2022-08-22 Thread Christoph Cullmann
Git commit baeb9fe4d4caa85e3ef158f1d29f3485ff4ae213 by Christoph Cullmann. Committed on 22/08/2022 at 18:54. Pushed by cullmann into branch 'master'. remove dead documentation code M +1-6doc/kate/plugins.docbook

[games/ksokoban] doc: Manual: remove note about KDE Gear for now (silent)

2022-08-22 Thread Friedrich W . H . Kossebau
Git commit 8e8de489616477eb30e201c7d84f4b7e48cdf633 by Friedrich W. H. Kossebau. Committed on 22/08/2022 at 23:47. Pushed by kossebau into branch 'master'. Manual: remove note about KDE Gear for now GIT_SILENT M +1-1doc/index.docbook