diff options
| author | John MacFarlane <[email protected]> | 2022-08-17 10:42:31 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-17 12:28:14 -0700 |
| commit | 90d52b7129440d7d91bcdf3210513f380063be0a (patch) | |
| tree | ddec9df7ba4985439c71bb0ad95bc32b132f77f6 /linux/make_artifacts.sh | |
| parent | 64bed947aba4052ba57f80e04fff4211e833af40 (diff) | |
Redo FromJSON for Opt so that optional values can be omitted.
It would have been cleaner to make all of these values Maybes,
so the JSON could be derived automatically. But this method preserves
the existing API.
Diffstat (limited to 'linux/make_artifacts.sh')
0 files changed, 0 insertions, 0 deletions