diff options
author | cjamin <cjamin@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2016-09-21 09:23:34 +0000 |
---|---|---|
committer | cjamin <cjamin@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2016-09-21 09:23:34 +0000 |
commit | 35444924982074475df87b126a51cf4b16949a8a (patch) | |
tree | fa53714d321965d72b5252e31e3f466e7e0a2721 /src/Doxyfile | |
parent | 227f58f39835ea33381ddb28f05ce43fcfa058b2 (diff) | |
parent | d04f3f02858044180471fc7e38948ff73e330162 (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/Doxyfile | 2 |
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 |