summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
AgeCommit message (Expand)Author
2019-09-25Merge branch 'master' into dockerfile_for_gudhi_3.0.0ROUVREAU Vincent
2019-09-24Rename Dockerfile for circleci. Add a Dockerfile to test the installationROUVREAU Vincent