add support for pi symbol missing from utf8-to-latex conversion,
[libreriscv.git] / shortcuts.mdwn
2021-05-08 lkcl(no commit message)