diff options
author | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-05-20 14:15:37 -0400 |
---|---|---|
committer | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-05-20 14:15:37 -0400 |
commit | 4101fbf1472ba769a96a6010622d0f054e6f34c0 (patch) | |
tree | 4282d7474979e484347b590a4e8c711521d18524 | |
parent | 0583c72cd729fb2d4a3e704949051e98b24726b3 (diff) | |
parent | 97e889f34e929f3c2306803b6c37b57926bd1245 (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel
-rw-r--r-- | CMakeGUDHIVersion.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeGUDHIVersion.txt b/CMakeGUDHIVersion.txt index cf9fd4f7..ac89fa4d 100644 --- a/CMakeGUDHIVersion.txt +++ b/CMakeGUDHIVersion.txt @@ -1,6 +1,6 @@ set (GUDHI_MAJOR_VERSION 3) set (GUDHI_MINOR_VERSION 2) -set (GUDHI_PATCH_VERSION 0.rc2) +set (GUDHI_PATCH_VERSION 0) set(GUDHI_VERSION ${GUDHI_MAJOR_VERSION}.${GUDHI_MINOR_VERSION}.${GUDHI_PATCH_VERSION}) message(STATUS "GUDHI version : ${GUDHI_VERSION}") |