rename files to proper extension

This commit is contained in:
Mathilde Blanchemanche 2022-08-17 14:49:56 +02:00
parent 3215138eb2
commit 857e16f920
2 changed files with 0 additions and 0 deletions