summaryrefslogtreecommitdiff
path: root/Dockerfile_ubuntu
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-06-14 16:38:56 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-06-14 16:38:56 +0200
commitde061dd46654104d4d74c69484d0207ecef88d25 (patch)
treeffea19a62909e2a0ed890e96206769f3143aa230 /Dockerfile_ubuntu
parent95e3e39f346301ed5899d7763570e206e4836652 (diff)
Fix CGAL version in example installation section
Diffstat (limited to 'Dockerfile_ubuntu')
0 files changed, 0 insertions, 0 deletions