Add an option for specifying where to put the `.satysfi-aux` file

Question

gfngfn opened this issue a year ago · comments