Wouter Groeneveld 746ccfd29f do not pretty-print the machine-parsable RSS		2021-06-02 08:11:49 +02:00
..
_default	rss endpoint /all/index.xml for processing, remove comments from default feeds	2021-05-20 15:23:30 +02:00
all	do not pretty-print the machine-parsable RSS	2021-06-02 08:11:49 +02:00
notes	rss endpoint /all/index.xml for processing, remove comments from default feeds	2021-05-20 15:23:30 +02:00
partials	get rid of likes and empty webmentions...	2021-05-20 16:37:53 +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