Factor out KateExternalToolsConfigWidget into separate file
Description
Description
Details
Details
- Committed
dhaumann Jan 23 2019, 8:03 PM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:a4e6ebfddbc9: Fix comment
- Branches
- Unknown
- Tags