Update references to repo
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)
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)