deleted useless file

This commit is contained in:
Cédric Bonhomme 2020-01-04 00:17:21 +01:00
parent 031b71a7de
commit caed1e9031
Signed by untrusted user who does not match committer: cedric
GPG key ID: A1CB94DE57B7A70D