Skip to content

Build-system maintenance (fixes #10, fixes #11)

username-removed-258601 requested to merge buildsys into master

Recently-reported issues with the build system should now be fixed. Please review.

Merge request reports