|
config.html
|
Use online CSS and JS
|
2020-11-12 10:42:27 +01:00 |
|
config.org
|
Use online CSS and JS
|
2020-11-12 10:42:27 +01:00 |
|
config.tex
|
Update tikz figures
|
2020-08-17 17:56:29 +02:00 |
|
figs
|
Change figure folders
|
2020-10-05 15:41:57 +02:00 |
|
index.html
|
Use online CSS and JS
|
2020-11-12 10:42:27 +01:00 |
|
index.org
|
Use online CSS and JS
|
2020-11-12 10:42:27 +01:00 |
