From 383c1bfda4c5da92d2c5e82ea9ed3185a44e9088 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr> Date: Tue, 30 Aug 2016 09:49:27 +0200 Subject: [PATCH] [Dev] Added ocp-indent configuration --- .ocp-indent | 1 + src/plugins/wp/qed/.ocp-indent | 1 - src/plugins/wp/qed/src/.ocp-indent | 1 - 3 files changed, 1 insertion(+), 2 deletions(-) create mode 100644 .ocp-indent delete mode 100644 src/plugins/wp/qed/.ocp-indent delete mode 100644 src/plugins/wp/qed/src/.ocp-indent diff --git a/.ocp-indent b/.ocp-indent new file mode 100644 index 00000000000..31dcc35bf57 --- /dev/null +++ b/.ocp-indent @@ -0,0 +1 @@ +normal diff --git a/src/plugins/wp/qed/.ocp-indent b/src/plugins/wp/qed/.ocp-indent deleted file mode 100644 index ef83851c8dc..00000000000 --- a/src/plugins/wp/qed/.ocp-indent +++ /dev/null @@ -1 +0,0 @@ -match_clause = 4 diff --git a/src/plugins/wp/qed/src/.ocp-indent b/src/plugins/wp/qed/src/.ocp-indent deleted file mode 100644 index ef83851c8dc..00000000000 --- a/src/plugins/wp/qed/src/.ocp-indent +++ /dev/null @@ -1 +0,0 @@ -match_clause = 4 -- GitLab