diff options
author | mathieu <mathieu.carriere3@gmail.com> | 2020-02-13 15:33:22 -0500 |
---|---|---|
committer | mathieu <mathieu.carriere3@gmail.com> | 2020-02-13 15:33:22 -0500 |
commit | 2f2db197a38e45ac4fe01dec0c029171c251029b (patch) | |
tree | 5c6522af65647afeb2f7e5e4b0c2858ee2352679 /src/common | |
parent | d21640a16113a3c56389efcb060b3430af9f256d (diff) | |
parent | bed30b19e57669c0b8ad385f1124586ed3499a2d (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into wasserstein_representations
Diffstat (limited to 'src/common')
-rw-r--r-- | src/common/doc/header.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/header.html b/src/common/doc/header.html index 9fdb2321..99ab6bb7 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/header.html @@ -56,7 +56,7 @@ $extrastylesheet <a href="#">Download</a> <ul class="dropdown"> <li><a href="/licensing/">Licensing</a></li> - <li><a href="https://gforge.inria.fr/frs/download.php/latestzip/5253/library-latest.zip" target="_blank">Get the latest sources</a></li> + <li><a href="https://github.com/GUDHI/gudhi-devel/releases/latest" target="_blank">Get the latest sources</a></li> <li><a href="/conda/">Conda package</a></li> <li><a href="/dockerfile/">Dockerfile</a></li> </ul> |