delete useless file

This commit is contained in:
MathieuG-P
2022-10-09 17:26:33 +02:00
parent 51487406fe
commit 3c7731be19