Skip to content

Added makefile and removed nightly version from CI#6

Merged
detrin merged 1 commit intomasterfrom
devel
Nov 17, 2020
Merged

Added makefile and removed nightly version from CI#6
detrin merged 1 commit intomasterfrom
devel

Commits

Commits on Nov 17, 2020