devex: manage devtools in a project-local subdirectory + cleanup README (#829)

This commit is contained in:

Christian Schwarz

2024-10-21 21:36:34 +02:00

committed by

GitHub

parent 908807bd59

commit 20abaa2e7f

15 changed files with 144 additions and 265 deletions

build/.gitignore

View File

				`@@ -0,0 +1 @@`
				`install/`