summaryrefslogtreecommitdiff
path: root/src/Doxyfile
diff options
context:
space:
mode:
authorcjamin <cjamin@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2016-09-21 09:23:34 +0000
committercjamin <cjamin@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2016-09-21 09:23:34 +0000
commit35444924982074475df87b126a51cf4b16949a8a (patch)
treefa53714d321965d72b5252e31e3f466e7e0a2721 /src/Doxyfile
parent227f58f39835ea33381ddb28f05ce43fcfa058b2 (diff)
parentd04f3f02858044180471fc7e38948ff73e330162 (diff)
Merge from trunk
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/subsampling_and_spatialsearching@1520 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: 477d84d9b29057de29afbb77d830d9d46a8f54be
Diffstat (limited to 'src/Doxyfile')
-rw-r--r--src/Doxyfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Doxyfile b/src/Doxyfile
index 40648f29..949838b8 100644
--- a/src/Doxyfile
+++ b/src/Doxyfile
@@ -38,7 +38,7 @@ PROJECT_NAME = "GUDHI"
# could be handy for archiving the generated documentation or if some version
# control system is used.
-PROJECT_NUMBER = "1.3.0"
+PROJECT_NUMBER = "1.3.1"
# Using the PROJECT_BRIEF tag one can provide an optional one line description
# for a project that appears at the top of each page and should give viewer a