Config Widget: Fix loading tools twice
Description
Description
Details
Details
- Committed
dhaumann Jan 30 2019, 2:06 PM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:5d99d83bad45: External tool: load & save "Reload current document after execution"
- Branches
- Unknown
- Tags