Wouter Groeneveld e4e90b32e9 refactoring gemini-specific layouts, throw out mermaid, cross-reference www and gmi		2021-04-04 14:03:51 +02:00
..
_default	refactoring gemini-specific layouts, throw out mermaid, cross-reference www and gmi	2021-04-04 14:03:51 +02:00
notes	implement title trimming	2021-03-13 13:50:01 +01:00
partials	refactoring gemini-specific layouts, throw out mermaid, cross-reference www and gmi	2021-04-04 14:03:51 +02:00
404.html	remove ses/cpp teaching pages; moved to kuleuven-diepenbeek.github.io	2020-08-27 11:44:35 +02:00
index.html	copy minimal theme	2020-05-27 20:35:46 +02:00