Wouter Groeneveld 8ecc733b8f hiding complexity		2018-02-26 17:28:00 +01:00
..
post	hiding complexity	2018-02-26 17:28:00 +01:00
wiki	cmder profile, typo	2017-06-09 13:12:31 +02:00
about.md	update about me	2017-12-30 08:25:04 +01:00
books.md	updates in disqus, navigation and footer	2017-06-06 16:29:48 +02:00
teaching.md	talk section	2017-06-20 16:36:03 +02:00