Skip to content

Update references to repo

Kristian Larsson requested to merge 35-update-refs into master

Since we renamed the repo we got to update various references. Think I got it all correctly now. Also, we let gitlab be the official place rather than github.

Closes #35 (closed)

Merge request reports