From 8cfe8366f557ea1d604967851d7f9703ea2ca7b8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 7 Jun 2022 08:47:24 +0200
Subject: [PATCH] [Slicing] fix API file mode

---
 src/plugins/slicing/Slicing.mli | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 src/plugins/slicing/Slicing.mli

diff --git a/src/plugins/slicing/Slicing.mli b/src/plugins/slicing/Slicing.mli
old mode 100755
new mode 100644
-- 
GitLab