summaryrefslogtreecommitdiff
path: root/src/common/doc/installation.h
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-06-12 07:46:27 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-06-12 07:46:27 +0200
commit6c57ce009e242db0554aaf9316750dd0bb693d6a (patch)
tree94409a8ae609c48a6212ff61a90f7c083e0d8fcf /src/common/doc/installation.h
parent4e33acbac51c8c2348dc88a16eb38e14c8ef724a (diff)
parentf58f0bb2cb99076d0cd3a11ad39f3277213e3f5e (diff)
Merge branch 'master' into main_documentation_pages
Diffstat (limited to 'src/common/doc/installation.h')
-rw-r--r--src/common/doc/installation.h2
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