summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-09-28 13:35:10 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-09-28 13:35:10 +0200
commit2bb1219124b6747f1fe8483eea3d28657783e19a (patch)
tree8d5c49e241370bd25512a7a2567b264bdea393f2 /CMakeLists.txt
parent22df89d4715fb94c7659955886a529fda3ded2e2 (diff)
parenta304049bdcfb03aa848d8049923ab796e0761b56 (diff)
Merge branch 'master' into coxeter_integration
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 06902168..d0cf6a25 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.1)
+cmake_minimum_required(VERSION 3.5)
project(GUDHIdev)