diff options
author | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-01-31 14:52:46 -0500 |
---|---|---|
committer | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-01-31 14:52:46 -0500 |
commit | d9eb3a09244ea242f3a11d9fda632eb513f1bfee (patch) | |
tree | c5ffe26748199c021838d2bf043a9ed22a4ebf0d /CMakeGUDHIVersion.txt | |
parent | a145c7168fdb3f4205cb68870f06fc5cb8e08dea (diff) | |
parent | e1f3b0c4fccee9fd81fc8dc6319b9c36600e43c7 (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into wasserstein_representations
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}") |