Add diagnostics where errors/warnings are emitted#635
Merged
pkgw merged 7 commits intotectonic-typesetting:masterfrom Sep 9, 2020
Commits
Commits on Sep 8, 2020
- committedralismark
- committedralismark
- committedralismark
- committedralismark
- committedralismark
- committedralismark
Commits on Sep 9, 2020
- committedralismark