MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-26 19:06:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

SealClassAction: show error if no inheritors for interface + cleanup

Browse Source 
GitOrigin-RevId: b5a6dfbf1531dd788eed14a4364cd5431ce8e28e
This commit is contained in:
Roman.Ivanov
2020-07-09 04:35:50 +00:00
committed by intellij-monorepo-bot
parent 79938e9f8c
commit f2a37677b6
4 changed files with 14 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files