Wouter Groeneveld 8d2c7d693c thanks Ru, "fixes" to dc:creator vs author vs managingEditor; some should contain en e-mail address		2022-04-19 17:33:36 +02:00
..
_default	thanks Ru, "fixes" to dc:creator vs author vs managingEditor; some should contain en e-mail address	2022-04-19 17:33:36 +02:00
all	do not pretty-print the machine-parsable RSS	2021-06-02 08:11:49 +02:00
partials	none of my best friends are content creators	2022-04-11 10:46:08 +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