Fabian Dill 3bb4ace176 Allow use of "options.yaml" as a gitignored options overwrite ...

This also sets the default hint cost back to 1000, enable it if you want it.

2020-03-22 20:12:42 +01:00

6.0 KiB

Raw Blame History

View Raw