mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
IDEA-248850
GitOrigin-RevId: 007fc154496e4f42ce70f288bbaee7c01d41e6ae
This commit is contained in:
committed by
intellij-monorepo-bot
parent
2fe7d30e5e
commit
b259a96ef7
@@ -5,7 +5,7 @@ INSP.role.not.defined=Role is not defined
|
||||
|
||||
### Quick fixes ###
|
||||
QFIX.ignore.role.0=Ignore undefined role ''{0}''
|
||||
QFIX.ignore.role=Ignore undefined role
|
||||
QFIX.ignore.role=Ignore an undefined role
|
||||
|
||||
### Annotators ###
|
||||
ANN.unknown.target=Unknown target name ''{0}''
|
||||
|
||||
Reference in New Issue
Block a user