diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-11-07T20·44-0500 |
|---|---|---|
| committer | grfn <grfn@gws.fyi> | 2021-11-07T21·05+0000 |
| commit | 9577d97a8f351e6dc1057c7ec9f7c825f6e9a020 (patch) | |
| tree | f130817f57287265fbf53b8a97131dbf795ceb18 /users/grfn/xanthous/src/Xanthous/Monad.hs | |
| parent | e3724448a2f2538d43135e61243ed0342bc9bff7 (diff) | |
feat(gs/xanthous): Allow disabling saving r/3017
Add a command-line parameter to disable the Save command, so people don't save and fill up my disk when I'm running this on the internet. Change-Id: I2408e60de2d99764ac53c21c3ea784282576d400 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3808 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/Monad.hs')
0 files changed, 0 insertions, 0 deletions