Delete options.json

This commit is contained in:
Alexandre
2021-02-22 08:38:28 +01:00
committed by GitHub
parent 379c8af41a
commit 750fe30a94