diff options
| author | Hind-M <hind.montassif@gmail.com> | 2022-02-02 11:34:48 +0100 |
|---|---|---|
| committer | Hind-M <hind.montassif@gmail.com> | 2022-02-02 11:34:48 +0100 |
| commit | 307f5f50a806168deb236e263c58dbed3f776ad0 (patch) | |
| tree | e4d8a576970b3515acd7da156fe542874f1c9a7a /src/common/doc/header.html | |
| parent | beb431316a5181caf0eec5c0940601457340cc58 (diff) | |
| parent | 7f1b8eb706c72921141b53e607d6e2aa28e2bf19 (diff) | |
Merge remote-tracking branch 'upstream/master' into cech_optimization
Diffstat (limited to 'src/common/doc/header.html')
| -rw-r--r-- | src/common/doc/header.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/common/doc/header.html b/src/common/doc/header.html index 9da20bbc..7c20478b 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/header.html @@ -49,6 +49,7 @@ $extrastylesheet <li><a href="/relatedprojects/">Related projects</a></li> <li><a href="/theyaretalkingaboutus/">They are talking about us</a></li> <li><a href="/inaction/">GUDHI in action</a></li> + <li><a href="/etymology/">Etymology</a></li> </ul> </li> <li class="divider"></li> |