commit b6d5047d40a589806be5dd9e4a3b342d456539a8
parent 6801befcc5c038e17625cd93e69a533f811fa9f2
Author: Christian Clason <c.clason@uni-graz.at>
Date: Sat, 8 Apr 2023 19:43:57 +0200
Merge pull request #22963 from echasnovski/diagnostic-new-hl
docs: add `hl-DiagnosticDeprecated` and `hl-DiagnosticUnnecessary`
Diffstat:
1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/runtime/doc/diagnostic.txt b/runtime/doc/diagnostic.txt
@@ -295,6 +295,14 @@ DiagnosticSignHint
DiagnosticSignOk
Used for "Ok" signs in sign column.
+ *hl-DiagnosticDeprecated*
+DiagnosticDeprecated
+ Used for deprecated or obsolete code.
+
+ *hl-DiagnosticUnnecessary*
+DiagnosticUnnecessary
+ Used for unnecessary or unused code.
+
==============================================================================
SIGNS *diagnostic-signs*