Commit 5c04d03a authored by Jakob Moser's avatar Jakob Moser
Browse files

Merge branch 'chore/polish-rough-edges' into 'master'

Polish a few rough edges

Closes #23

See merge request !30
parents 23ad3bba 505b2e91
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment