Added dashboard functionality; fixed typos; #17

Merged
jonasclaes merged 1 commit from frontend-dashboard into master 2020-05-17 18:48:56 +00:00
jonasclaes commented 2020-05-17 18:48:50 +00:00 (Migrated from github.com)
No description provided.
Commenting is not possible because the repository is archived.
No description provided.