Closed na4zagin3 closed 3 years ago
We can use --no-default-config option, which was introduced by https://github.com/gfngfn/SATySFi/pull/212.
This fixes a problem where SATySFi may see stale /usr/local/share/satysfi.
/usr/local/share/satysfi
We can use --no-default-config option, which was introduced by https://github.com/gfngfn/SATySFi/pull/212.
This fixes a problem where SATySFi may see stale
/usr/local/share/satysfi
.