Niklas Buschmann
|
dbdf78b5fe
|
merge upstream
|
2021-02-28 21:34:43 +01:00 |
|
Niklas Buschmann
|
20feee66be
|
update katex
|
2020-11-25 17:57:09 +01:00 |
|
Niklas Buschmann
|
d1ebe75f4e
|
directly include icons as svgs
|
2020-02-18 17:55:14 +01:00 |
|
Niklas Buschmann
|
89e8c3eba4
|
merge upstream
|
2020-02-03 20:44:17 +01:00 |
|
Niklas Buschmann
|
dc9cb278f6
|
merge upstream
|
2020-02-03 17:05:50 +01:00 |
|