Diffusion Kate a038e3f5fa90

Factor out KateExternalTool into separate file

Authored by dhaumann on Jan 18 2019, 7:51 PM.

Description

Factor out KateExternalTool into separate file

Details

Committed
dhaumannJan 18 2019, 7:51 PM
Differential Revision
D17971: Revive External Tools plugin
Parents
R40:de16e7978367: Copyright
Branches
Unknown
Tags
Unknown