From 63ec50e6dc1d28f7b032a98e7a423c7ed3d7a3d7 Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Tue, 31 May 2022 07:17:20 +0200 Subject: [PATCH] editorconfig: remove html-rule Fixes: 44a4e34d52e ("docs: remove doxygen support") Reviewed-by: Emma Anholt Part-of: (cherry picked from commit 12aa3b82dcbfa7512908cd67b0832a027e39589e) --- .editorconfig | 4 ---- .pick_status.json | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/.editorconfig b/.editorconfig index 4a3c7a3ae36..5409a149d0a 100644 --- a/.editorconfig +++ b/.editorconfig @@ -32,10 +32,6 @@ indent_size = 2 indent_style = space indent_size = 2 -[*.html] -indent_style = space -indent_size = 2 - [*.rst] indent_style = space indent_size = 3 diff --git a/.pick_status.json b/.pick_status.json index 416749a97c3..5be221b222f 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -283,7 +283,7 @@ "description": "editorconfig: remove html-rule", "nominated": true, "nomination_type": 1, - "resolution": 0, + "resolution": 1, "main_sha": null, "because_sha": "44a4e34d52e68c4251afb7fb079dc9b28477195d" },