We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 86fba58 commit 0f643f4Copy full SHA for 0f643f4
_layouts/default.html
@@ -16,7 +16,7 @@ <h2 class="project-tagline">{{ site.description | default: site.github.project_t
16
{% if site.github.is_project_page %}
17
<a href="{{ site.github.repository_url }}" class="btn" target="_blank">View on GitHub</a>
18
<a href="https://github.com/DeMaCS-UNICAL/I-DLV/releases" class="btn" target="_blank">Releases</a>
19
- <a href="https://github.com/DeMaCS-UNICAL/I-DLV/releases/tag/1.1.7-beta" class="btn" target="_blank">Beta Release (Rational)</a>
+ <a href="https://github.com/DeMaCS-UNICAL/I-DLV/releases/tag/1.1.7-beta" class="btn" target="_blank">Latest Release with Rational Terms</a>
20
{% endif %}
21
</section>
22
0 commit comments