Closed
Description
Description of the feature
Toolkits are now installed like programs, change extension manager to be compatible with it
Steps for implementing the feature
No response
Useful links and references
No response
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests