| commit | 98c71b2c977a054313d95b22f2d650099aefe965 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Tue Jun 08 11:57:40 2021 +0100 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Tue Jun 08 11:57:40 2021 +0100 |
| tree | 59bad65eef496ce8d068440c3a31465cc415055b | |
| parent | 03cee9af6721fa700291db5a84cca99a255a671b [diff] |
Removed Katex support in Picto