diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2023-01-06 16:18:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-06 16:18:54 +0100 |
commit | ed492f09ca3c9d7cd972bbbbec37f680cd624fbe (patch) | |
tree | 6ca00459f5ee4e3282d091557395b0af6a403f80 | |
parent | 803e7247c8c8251646bfb859f17f2a66970d7dc2 (diff) |
gudhi 3.7.1 release
-rw-r--r-- | CMakeGUDHIVersion.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeGUDHIVersion.txt b/CMakeGUDHIVersion.txt index 8c1b5fac..5e4578da 100644 --- a/CMakeGUDHIVersion.txt +++ b/CMakeGUDHIVersion.txt @@ -2,7 +2,7 @@ set (GUDHI_MAJOR_VERSION 3) set (GUDHI_MINOR_VERSION 7) # GUDHI_PATCH_VERSION can be 'ZaN' for Alpha release, 'ZbN' for Beta release, 'ZrcN' for release candidate or 'Z' for a final release. -set (GUDHI_PATCH_VERSION 1rc1) +set (GUDHI_PATCH_VERSION 1) set(GUDHI_VERSION ${GUDHI_MAJOR_VERSION}.${GUDHI_MINOR_VERSION}.${GUDHI_PATCH_VERSION}) message(STATUS "GUDHI version : ${GUDHI_VERSION}") |