devel-docs, tools: move the release-stats script to tools/.

Makes more sense and I am trying to make the devel-docs more readable
(which includes less crowded, especially with scripts which are not
really docs).
This commit is contained in:
Jehan 2022-02-01 14:34:46 +01:00
parent 4d8c1e3439
commit 03272a9d54
1 changed files with 0 additions and 0 deletions