commit 99c86bae15d22981e48c2d18f5903d7b4286f543
parent 6801befcc5c038e17625cd93e69a533f811fa9f2
Author: Evgeni Chasnovski <evgeni.chasnovski@gmail.com>
Date: Sat, 8 Apr 2023 20:19:39 +0300
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*