diff options
| author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2014-12-16 19:41:32 +0000 |
|---|---|---|
| committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2014-12-16 19:41:32 +0000 |
| commit | ba1f796c71cf77f595db7f32eea4a7e546026e50 (patch) | |
| tree | 80d5915bfd77e59679d5faa750569db29fae050f /src | |
| parent | 1d7b76565cd5bec31d47e9276839ff898bc59daa (diff) | |
gudhi-users pour les utilisateurs, gudhi-devel pour les discussions internes.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@359 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 32374512eecff867591f26adc59840c81e89c1fa
Diffstat (limited to 'src')
| -rw-r--r-- | src/common/doc/main_page.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/main_page.h b/src/common/doc/main_page.h index eaab6195..8e361900 100644 --- a/src/common/doc/main_page.h +++ b/src/common/doc/main_page.h @@ -50,6 +50,6 @@ make \details \copyright GNU General Public License v3. -\verbatim Contact: gudhi-devel@lists.gforge.inria.fr \endverbatim +\verbatim Contact: gudhi-users@lists.gforge.inria.fr \endverbatim */ |