diff options
author | JJ | 2023-07-20 10:14:55 +0000 |
---|---|---|
committer | JJ | 2023-07-20 10:21:59 +0000 |
commit | 3cf3e70cb7fcd75d53828924496699678796f5ed (patch) | |
tree | 3c4d1980cb7e8eb13017413e61eb1b15f1f2a20d /lib/fonts/katex/KaTeX_Size2-Regular.woff | |
parent | 9672fe3861f283efc91a9cca78b17fecc5826210 (diff) |
implement typeclasses as interfaces
Diffstat (limited to 'lib/fonts/katex/KaTeX_Size2-Regular.woff')
0 files changed, 0 insertions, 0 deletions