Skip to content

Fix BASE_REMOTE in .travis-docker.sh in CentOS 7 containers#222

Merged
edwintorok merged 1 commit into
ocaml:masterfrom
gaborigloi:centos_7_docker
Mar 19, 2018
Merged

Fix BASE_REMOTE in .travis-docker.sh in CentOS 7 containers#222
edwintorok merged 1 commit into
ocaml:masterfrom
gaborigloi:centos_7_docker

Commits

Commits on Mar 19, 2018