2 Commits

Author	SHA1	Message	Date
jrandolf	6a05d8e9c1	chore: improve docs and scripts (#9107) ... This PR updates some docs and scripts related to the recent changes in the repository.	2022-10-13 18:55:11 +02:00
jrandolf	416d56b033	chore: refactor utils (#9053) ... This PR - renames the `utils` folder to `tools` (follows internal practice), - migrates the contents of `scripts` into `tools` and removes scripts.	2022-10-06 10:27:14 +02:00