mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-10 13:17:09 +07:00
[java-intentions] Remove redundant properties
GitOrigin-RevId: 934b84c1f3ee9e14e665fdaf267000cc0e946c07
This commit is contained in:
committed by
intellij-monorepo-bot
parent
2cd9f21e7a
commit
da09d6373a
@@ -437,9 +437,6 @@ extend.sealed.title=Make ''{0}'' {1, choice, 1#Extend|2#Implement} ''{2}'' and
|
||||
extend.sealed.name=Make ''{0}'' {1, choice, 1#extend|2#implement} ''{2}''
|
||||
|
||||
implement.or.extend.fix.family=Implement/Extend required base class
|
||||
implement.or.extend.fix.implement.text=Make ''{0}'' implement ''{1}''
|
||||
implement.or.extend.fix.extend.text=Make ''{0}'' extend ''{1}''
|
||||
|
||||
seal.class.from.permits.list.fix=Seal inheritor
|
||||
|
||||
unwrap.array.initializer.fix=Replace array initializer with its element
|
||||
|
||||
Reference in New Issue
Block a user