diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-06-15 16:07:27 -0600 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-06-15 16:07:27 -0600 |
| commit | 2cc93c87c18a615152aa5dcb8f554e3f212d1099 (patch) | |
| tree | 620434548c1703e4fde8962ec40364e460a1384b /.github | |
| parent | a6344893b0d2a68bc9ce7e5f907c2f320b01227b (diff) | |
MANUAL: add note to `--sandbox` about `embed_data_files`.
See #8128.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions