Harmonize script names

Ref: #30852
This commit is contained in:
Daniel Dehennin 2020-10-14 13:18:54 +02:00
parent 1ea5813c8f
commit dec2cb8e79
2 changed files with 0 additions and 0 deletions