More porting to new KTextEditor plugin API
Description
Description
Details
Details
- Committed
dhaumann Jan 2 2019, 11:26 PM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:412b19258b5a: More porting to new KTextEditor plugin API
- Branches
- Unknown
- Tags