diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-01-20 15:10:42 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-01-20 15:10:42 -0800 |
| commit | c30ffca70f5e497262f8e81f8a563c942df6a62b (patch) | |
| tree | 8877e39a59286240077c268fe4950305ad158ddc /src/Text | |
| parent | 0a88d1f44b9b7c19d394b67f098c485dba5b9815 (diff) | |
make_artifacts.sh: fix quoting.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions