diff options
| author | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-01-31 06:34:25 +0000 |
|---|---|---|
| committer | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-01-31 06:34:25 +0000 |
| commit | e2720a4b14b38ab2911355b048a4a7b6e6063026 (patch) | |
| tree | 89af822fb0e9d1538f328e04b7995489289b3485 /src | |
| parent | 37ded65d83935d417fc3bc484594a83b36f63514 (diff) | |
For official GUDHI version
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@3190 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: f3790f950fc43c2909e9ff88b19753a622b506cc
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 763c240e..f1981e2e 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 = "2.1.0.rc1" +PROJECT_NUMBER = "2.1.0" # 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 |