diff --git a/.ocp-indent b/.ocp-indent new file mode 100644 index 0000000000000000000000000000000000000000..31dcc35bf57a9873077570a3776515be93e129d9 --- /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 ef83851c8dc4f772b62ee7bca7afe13faf0c110d..0000000000000000000000000000000000000000 --- 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 ef83851c8dc4f772b62ee7bca7afe13faf0c110d..0000000000000000000000000000000000000000 --- a/src/plugins/wp/qed/src/.ocp-indent +++ /dev/null @@ -1 +0,0 @@ -match_clause = 4