Delete minipath.ini

This commit is contained in:
Pairi Daiza 2019-03-18 11:22:12 +01:00 committed by GitHub
parent 254a5d6e73
commit d0098ef96a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23