Filip KrausandGitHub 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

..

bug_report.md

Update name in docs (#80)

2022-02-18 09:42:55 +01:00

other.md

Update name in docs (#80)

2022-02-18 09:42:55 +01:00