Skip to content

Fix issue 15 + miscellaneous changes

Bram Veenboer requested to merge misc into master

While debugging #15 (closed), various changes are made throughout the repository.

This fixes #15 (closed).

Merge request reports