Closed jfy133 closed 9 months ago
Adds question about whether to run clean up
This is untested because it requires fixes in the previous PR, but conceptually it should work (and is quite straightforward)
Closes #24
Will close this in favour of a new PR as this includes a lot of merge conflicts now (I blieve due to auto-formatting...)
Adds question about whether to run clean up
This is untested because it requires fixes in the previous PR, but conceptually it should work (and is quite straightforward)