From ce69dc205788343799720e6d6e889dcd75dca909 Mon Sep 17 00:00:00 2001 From: Kirill Likhodedov Date: Tue, 13 Aug 2019 12:24:58 +0300 Subject: [PATCH] Suppress an unused property: it is used in 3-party plugins GitOrigin-RevId: b28f2474b22799d857af8927307586512126fd44 --- plugins/git4idea/src/git4idea/i18n/GitBundle.properties | 3 +++ 1 file changed, 3 insertions(+) diff --git a/plugins/git4idea/src/git4idea/i18n/GitBundle.properties b/plugins/git4idea/src/git4idea/i18n/GitBundle.properties index e24d328010a7..a5302e076934 100644 --- a/plugins/git4idea/src/git4idea/i18n/GitBundle.properties +++ b/plugins/git4idea/src/git4idea/i18n/GitBundle.properties @@ -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={0}
This version is unsupported, and some plugin functionality could fail to work.
The minimal supported version is {1}. + git.error.exit=The Git process exited with the code {0} git.running=Running: {0}