summaryrefslogtreecommitdiff
path: root/tools/github-upload.sh
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2024-01-29 12:25:09 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2024-01-29 12:25:09 -0800
commitc1f87fdb37c904cb473d9747fd4141d4709c07d6 (patch)
treedcfe0064af908c2ddbb95bcd695d3f6a4779d478 /tools/github-upload.sh
parent97eb9273398f141872d08e12c492167ad67628b6 (diff)
Typst writer: handle labels and citaiton ids with spaces...
and other special characters. In these cases, we produce an explicit `label()` rather than using `<>` or `@`. Cloess #9387.
Diffstat (limited to 'tools/github-upload.sh')
0 files changed, 0 insertions, 0 deletions