Alex e26cb2640d Merge remote-tracking branch 'origin/feature/mdbook'		2021-03-19 17:49:57 +01:00
..
20201202_talk	Add slide on consistency	2020-12-01 17:42:13 +01:00
book	Merge remote-tracking branch 'origin/feature/mdbook'	2021-03-19 17:49:57 +01:00
logo	Add logo in repo	2021-03-17 10:26:50 +01:00