Diffusion Kate a95a835deae7

Rename kateexternaltoolsplugin to externaltoolsplugin

Authored by dhaumann on Jan 1 2019, 11:18 PM.

Description

Rename kateexternaltoolsplugin to externaltoolsplugin

The prefix 'kate' is wrong anyways, since nowadays, it's a
KTextEditor plugin. In addition, the library is installed
into a subfolder 'ktexteditor', so the prefix is also not
required in the name anymore.

Details

Committed
dhaumannJan 1 2019, 11:18 PM
Differential Revision
D17971: Revive External Tools plugin
Parents
R40:22cf336ffa5f: Apply clang-reformat
Branches
Unknown
Tags
Unknown