From e822e22b2f4d6711291210abe126332b16089453 Mon Sep 17 00:00:00 2001 From: gfgtdf Date: Mon, 19 Oct 2020 23:43:40 +0200 Subject: [PATCH] wmlindent: don't indent #'#deprecated' --- data/tools/wmlindent | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/tools/wmlindent b/data/tools/wmlindent index 8b198b49e03b..61624caf2166 100755 --- a/data/tools/wmlindent +++ b/data/tools/wmlindent @@ -70,7 +70,7 @@ opener_prefixes = ["{FOREACH "] def is_directive(str): "Identify things that shouldn't be indented." if "#endarg" in str: return True - return str.startswith(("#ifdef", "#ifndef", "#ifhave", "#ifnhave", "#ifver", "#ifnver", "#else", "#endif", "#define", "#enddef", "#undef", "#arg", "#endarg")) + return str.startswith(("#ifdef", "#ifndef", "#ifhave", "#ifnhave", "#ifver", "#ifnver", "#else", "#endif", "#define", "#enddef", "#undef", "#arg", "#endarg", "#deprecated")) def closer(str): "Are we looking at a closing tag?"