Typst writer: ensure that -
, +
, etc. are escaped at beginning of …
#5522
Job | Run time |
---|---|
17m 40s | |
18m 46s | |
8m 49s | |
22m 12s | |
23m 44s | |
15m 46s | |
16m 40s | |
14m 59s | |
2h 18m 36s |