[kate] [Bug 299248] External tools plugin is missing

https://bugs.kde.org/show_bug.cgi?id=299248 --- Comment #6 from Dominik Haumann --- Blog with details: https://kate-editor.org/post/2019/2019-09-21-external-tools-plugin/ -- You are receiving this mail because: You are watching all bug changes.

[kate] [Bug 299248] External tools plugin is missing

https://bugs.kde.org/show_bug.cgi?id=299248 Dominik Haumann changed: What|Removed |Added Resolution|--- |FIXED Status|REOPENED

[kate] [Bug 299248] External tools plugin is missing

https://bugs.kde.org/show_bug.cgi?id=299248 Dominik Haumann changed: What|Removed |Added Version Fixed In||19.12 --- Comment #5 from Dominik Haumann

[kate] [Bug 299248] External tools plugin is missing

https://bugs.kde.org/show_bug.cgi?id=299248 Alexander Zhigalin changed: What|Removed |Added Ever confirmed|0 |1 Resolution|INTENTIONAL