diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
| commit | c31bac6af57af917b8f799d0c21eb6af34ee1f6e (patch) | |
| tree | 5a9603a4ec016f1aa09c7da52510790680c790c3 /CMakeGUDHIVersion.txt | |
| parent | 02de1136cf9850803cb1e1ac1141f11b50be2992 (diff) | |
| parent | 41482b4260b4aff3d6803e340d5c94fbefb9af67 (diff) | |
Merge branch 'dfsg/latest' into debian/sid
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 5e71f7eb..6811d7e1 100644 --- a/CMakeGUDHIVersion.txt +++ b/CMakeGUDHIVersion.txt @@ -1,5 +1,5 @@ set (GUDHI_MAJOR_VERSION 2) -set (GUDHI_MINOR_VERSION 1) +set (GUDHI_MINOR_VERSION 2) set (GUDHI_PATCH_VERSION 0) set(GUDHI_VERSION ${GUDHI_MAJOR_VERSION}.${GUDHI_MINOR_VERSION}.${GUDHI_PATCH_VERSION}) |