mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Cleanup: remove no longer needed @JvmDefault annotation.
GitOrigin-RevId: a354db9f2a717495af024b8e79ce62b12f7be01e
This commit is contained in:
committed by
intellij-monorepo-bot
parent
1d42f63edb
commit
f6fb2904e8
@@ -58,7 +58,6 @@ interface RenameTarget {
|
||||
*
|
||||
* TODO consider an EP
|
||||
*/
|
||||
@JvmDefault
|
||||
fun validator(): RenameValidator = RenameValidator.empty()
|
||||
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user