diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-06-22 10:27:47 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-06-22 10:27:47 -0700 |
| commit | 54b377278187f02621a60b3585de4ec02399234a (patch) | |
| tree | c8ab8d17b4f4180244aee0a0e2ab6b9c0676225e /oldtests/Misc/Laziness.html | |
| parent | 2215e79323a09ecc70ea2fa8b8b6da170bac8e21 (diff) | |
Re-add `--safe` command-line option as a no-op.
See #344.
Diffstat (limited to 'oldtests/Misc/Laziness.html')
0 files changed, 0 insertions, 0 deletions