Skip to content

dev: Rename tools directory to scripts#5035

Merged
pajlada merged 4 commits intomasterfrom chore/move-tools-to-scripts-dirDec 17, 2023