Suppress an unused property: it is used in 3-party plugins

GitOrigin-RevId: b28f2474b22799d857af8927307586512126fd44
2026-09-27 10:03:11 +07:00 · 2019-08-13 13:03:27 +03:00
parent c34011adc5
commit ce69dc2057
1 changed files with 3 additions and 0 deletions
@@ -24,7 +24,10 @@ error.list.title={0} Error:
 error.occurred.during=Error occurred during ''{0}''
 errors.message.item=\n   {0}
 errors.message=The Git operation ended with multiple errors:{0}
+
+# suppress inspection "UnusedProperty": used by 3-party plugins
 find.git.unsupported.message=<html><tt>{0}</tt><br>This version is unsupported, and some plugin functionality could fail to work.<br>The minimal supported version is <em>{1}</em>.</html>
+
 git.error.exit=The Git process exited with the code {0}
 git.running=Running: {0}