move tools/ to doc/scripts/

This commit is contained in:
yuni 2024-03-22 15:49:01 +01:00
parent 4b8216d2ca
commit a535c95241