Wouter Groeneveld 231fe3c9f2 prettified rss xml using pretty-feed xsl		2021-05-05 09:12:24 +02:00
..
_default	prettified rss xml using pretty-feed xsl	2021-05-05 09:12:24 +02:00
notes	also show mentions to notes if any	2021-05-03 14:15:07 +02:00
partials	wtf? published date fuckup, fix first, then find out what happened	2021-04-26 10:47:04 +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