|
fonts
|
font: use FireCode WOFF, disable monospace ligatures
|
2024-11-29 16:56:12 +01:00 |
|
img
|
update index
|
2023-05-22 08:47:57 +02:00 |
|
katex
|
Initial commit
|
2022-09-19 18:41:09 +02:00 |
|
favicon.ico
|
Initial commit
|
2022-09-19 18:41:09 +02:00 |
|
humans.txt
|
update index
|
2023-05-22 08:47:57 +02:00 |
