diff options
Diffstat (limited to 'bin/reproducible_common.py')
| -rwxr-xr-x | bin/reproducible_common.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 829c7259..ac941bb6 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -220,6 +220,7 @@ html_head_page = Template((tab*2).join((""" <li><a href="/index_repositories.html">repositories overview</a></li> <li><a href="/index_notify.html" title="notify icon">⚑ packages with enabled notifications</a></li> <li><a href="/index_performance.html">performance stats</a></li> + <li><a href="/index_variations.html">variations tested</a></li> </ul></li> </ul> $project_links |