Release GUDHI 3.1.0

GUDHI · Jan 20, 2020 · 784f9b5 · 784f9b5
1 parent f8a5efa
commit 784f9b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}")