diff options
| author | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2016-09-12 14:11:43 +0000 |
|---|---|---|
| committer | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2016-09-12 14:11:43 +0000 |
| commit | 3757f75227b4fcbc7ab478b9a11b5bd38c2c7a0c (patch) | |
| tree | 178f23389be60e50b90ec872a7427d56474d34a5 /src | |
| parent | 7daee38f06031ae9dca392623c8a751dc08e59b2 (diff) | |
Gudhi 1.3.1 in Doxyfile
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@1490 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: f5a84ac81c1bac977c8bbf4551e0ab626b64fece
Diffstat (limited to 'src')
| -rw-r--r-- | src/Doxyfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Doxyfile b/src/Doxyfile index 6ddfb55d..49e37c72 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 |