diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-01-29 21:57:46 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-01-29 21:57:46 -0800 |
| commit | 148cf8a0648273d7f20fdbd7032e1daa08c3954c (patch) | |
| tree | 9ad8c3bd2d313c98cb81290772e899725f37b316 /data/sample.lua | |
| parent | 5e42189ddbcca5e18cfef1a2cb3dee85e6bd51fa (diff) | |
Document `--trace` option.
Closes #7873.
Diffstat (limited to 'data/sample.lua')
0 files changed, 0 insertions, 0 deletions