Jeremy Kidwell 011e55107e added events, tidied up filenames		2018-04-13 09:54:35 +01:00
..
misc	adding files	2017-06-27 21:08:37 +01:00
papers	added publications	2018-03-27 16:26:25 +01:00
presentations	added events, tidied up filenames	2018-04-13 09:54:35 +01:00
teaching	updated courses for 2017-18	2018-04-09 15:32:03 +01:00