Skip to content

Fixes build issues

Choose a tag to compare

@jakub-pmp jakub-pmp released this 22 Oct 21:38
· 2 commits to master since this release
2587637
Merge pull request #4 from jakub-pmp/after-evaluation

Fixes some building issues