diff options
author | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-01-31 14:52:17 -0500 |
---|---|---|
committer | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-01-31 14:52:17 -0500 |
commit | fc3ca9579418b7436ea435be2dd6aeb16869aee5 (patch) | |
tree | 30051619ed16e6f56ac485d2537e7608cd0c1a17 /CMakeGUDHIVersion.txt | |
parent | 4c0e6e4144dd3cf6da9600fd4b9bbcac5e664b73 (diff) | |
parent | e1f3b0c4fccee9fd81fc8dc6319b9c36600e43c7 (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into extended_persistence
Diffstat (limited to 'CMakeGUDHIVersion.txt')
-rw-r--r-- | CMakeGUDHIVersion.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeGUDHIVersion.txt b/CMakeGUDHIVersion.txt index 8300b75e..ed19ecfb 100644 --- a/CMakeGUDHIVersion.txt +++ b/CMakeGUDHIVersion.txt @@ -1,6 +1,6 @@ set (GUDHI_MAJOR_VERSION 3) set (GUDHI_MINOR_VERSION 1) -set (GUDHI_PATCH_VERSION 0.rc1) +set (GUDHI_PATCH_VERSION 0) set(GUDHI_VERSION ${GUDHI_MAJOR_VERSION}.${GUDHI_MINOR_VERSION}.${GUDHI_PATCH_VERSION}) message(STATUS "GUDHI version : ${GUDHI_VERSION}") |