From 72a80791eb16ebc1ef711d7708dd077533ac624c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Gayoso=20Gonz=C3=A1lez?= Date: Fri, 2 Jun 2023 10:47:55 +0200 Subject: [PATCH] Minor: delete duplicated line in .editorconfig --- .editorconfig | 3 --- 1 file changed, 3 deletions(-) diff --git a/.editorconfig b/.editorconfig index 7e59e0418c..eed38284ec 100755 --- a/.editorconfig +++ b/.editorconfig @@ -18,7 +18,4 @@ ij_php_space_after_type_cast = true indent_size = 2 [*.js] -indent_size = 2 - -[*.vue] indent_size = 2 \ No newline at end of file