Skip to content

In build.jl: Only clone new GAP if gap subfolder not present#267

Merged
fingolfin merged 1 commit intooscar-system:masterfrom sebasguts:sg/only_clone_when_gap_not_presentJun 24, 2019
+12-5

Commits

Commits on Jun 20, 2019