Simplify load & save of external tools
Description
Description
Details
Details
- Committed
dhaumann Jan 30 2019, 1:29 PM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:f7eb83d748ab: Tools Menu: Show categorized actions first, then uncategorized
- Branches
- Unknown
- Tags