improvements to arrows and a few diacritics

This commit is contained in:
Rasmus Andersson 2019-01-27 19:19:25 -08:00
parent 9bc440c2e7
commit 6ac28e9940

File diff suppressed because one or more lines are too long