From 66eb870250d4aae0f26140c6c68f001b42ca5c28 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 18 Nov 2020 13:54:00 +0100
Subject: [PATCH] Changes ACSL tab into "Specification"

---
 _data/tabs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_data/tabs.yml b/_data/tabs.yml
index d53e65e6..f2fa30e8 100644
--- a/_data/tabs.yml
+++ b/_data/tabs.yml
@@ -7,6 +7,6 @@
 - name: GUI
   link: /html/gui.html
   id  : gui
-- name: ACSL
+- name: Specification
   link: /html/acsl.html
   id  : acsl
-- 
GitLab