Closed antonkratz closed 7 years ago
… #8.
I maybe should have done this in the dev branch (?) but forgot to switch branches first.
This is a minor contribution but I would like to close the issue.
Closed this pull request, there is more coming and I should change in the dev branch anyway I guess.
… #8.
I maybe should have done this in the dev branch (?) but forgot to switch branches first.
This is a minor contribution but I would like to close the issue.