Filip Kraus 1b7f1614b5 Update name in docs (#80) ... * Update name in docs Will document on #52 what's left do do. * Update usage_overview.rst		2022-02-18 09:42:55 +01:00
..
logo	Add the new logo	2018-12-30 12:20:08 +00:00
logo.txt	Update name in docs (#80)	2022-02-18 09:42:55 +01:00