This repository was archived by the owner on Feb 27, 2024. It is now read-only.

Simplify CI and fix build#56

Merged

domenkozar merged 1 commit intomasterfrom

Jul 25, 2018

Commits on Jul 25, 2018

Simplify CI and fix build
domenkozar
committed