Your Name f1739fca47 #Ocaml -> #OCaml fixup		2019-09-11 00:16:40 +02:00
..
Our-Approach	#Ocaml -> #OCaml fixup	2019-09-11 00:16:40 +02:00
Projects	Revert "+ in urls" since our ghetto http server is not actually working correctly	2019-09-11 00:09:34 +02:00
Publications-and-Talks	no trailing spaces	2019-09-11 00:12:14 +02:00
Services	Revert "+ in urls" since our ghetto http server is not actually working correctly	2019-09-11 00:09:34 +02:00
Technology-Employed	Revert "+ in urls" since our ghetto http server is not actually working correctly	2019-09-11 00:09:34 +02:00