diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-07 15:34:25 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-07 15:34:25 +0200 |
commit | 3807bd77af3d03beace12305ef866cb6172e1f82 (patch) | |
tree | 2438ea24407111fc011a810ef67b5e31e8974614 /src/common/doc/installation.h | |
parent | a08323ea6b3706191bbd546fcbfcd5d321e0ac92 (diff) | |
parent | b858862d63ffcdcaed0e0a4913f5d9d42bc0dcbb (diff) |
Merge branch 'master' of github.com:GUDHI/gudhi-devel
Diffstat (limited to 'src/common/doc/installation.h')
-rw-r--r-- | src/common/doc/installation.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/installation.h b/src/common/doc/installation.h index 8fb8b330..5d581b08 100644 --- a/src/common/doc/installation.h +++ b/src/common/doc/installation.h @@ -44,7 +44,7 @@ make doxygen \endverbatim * * \subsection helloworld Hello world ! - * The <a target="_blank" href="https://gitlab.inria.fr/GUDHI/hello-gudhi-world">Hello world for GUDHI</a> + * The <a target="_blank" href="https://github.com/GUDHI/hello-gudhi-world">Hello world for GUDHI</a> * project is an example to help developers to make their own C++ project on top of the GUDHI library. * * \section optionallibrary Optional third-party library |