tree 59bad65eef496ce8d068440c3a31465cc415055b
parent 03cee9af6721fa700291db5a84cca99a255a671b
author Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1623149860 +0100
committer Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1623149860 +0100

Removed Katex support in Picto