Skip to content

Allow to declaratively specify tools to install#13

Merged
andreabedini merged 1 commit intomainfrom toolsJan 3, 2025