Closed flofrie closed 1 year ago
... and fixes for git commands since repo name has changed
Thanks @flofrie . This has been done as part of #104, which has been merged into develop. I'm planning to do a release this morning so that the change reaches master.
develop
master
... and fixes for git commands since repo name has changed