From 23b26e8d6febba05cbc7d37eec334e27dbab7bb2 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 12 May 2023 10:23:46 +0200
Subject: [PATCH] [alias] use same indent as the rest of Frama-C

---
 src/plugins/alias/.gitattributes | 22 ----------------------
 src/plugins/alias/.ocp-indent    |  1 -
 2 files changed, 23 deletions(-)
 delete mode 100644 src/plugins/alias/.ocp-indent

diff --git a/src/plugins/alias/.gitattributes b/src/plugins/alias/.gitattributes
index 71a6c8afbd0..b2e0207ec33 100644
--- a/src/plugins/alias/.gitattributes
+++ b/src/plugins/alias/.gitattributes
@@ -4,27 +4,6 @@
 
 Changelog merge=union
 
-##################################################
-# BINARY/CHECK-SYNTAX/INDENT/EOL-EOF: set/-unset #
-##################################################
-
-# note: "binary" is a built-in macro that also
-#       unsets the "text" and "diff" attributes
-
-# note: set "check-eoleof" and "check-utf8" by default to all files
-* check-eoleof check-utf8
-
-# note: unset "-check-eoleof" and "-check-utf8" for "binary"
-*.jpg binary -check-eoleof -check-utf8
-*.pdf binary -check-eoleof -check-utf8
-
-###########################################
-# CHECK-SYNTAX/INDENT/EOL-EOF: set/-unset #
-###########################################
-
-*.ml  check-syntax check-indent -check-eoleof
-*.mli check-syntax check-indent -check-eoleof
-
 ################################
 # HEADER_SPEC: LICENSE.Alias #
 ################################
@@ -69,7 +48,6 @@ README* header_spec=.ignore
 # OCaml
 
 /*.opam* header_spec=.ignore
-/.ocp-indent header_spec=.ignore
 
 #Tests
 
diff --git a/src/plugins/alias/.ocp-indent b/src/plugins/alias/.ocp-indent
deleted file mode 100644
index 31dcc35bf57..00000000000
--- a/src/plugins/alias/.ocp-indent
+++ /dev/null
@@ -1 +0,0 @@
-normal
-- 
GitLab