MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-07-20 11:50:49 +07:00
Code Issues Packages Projects Releases Wiki Activity
250,025 Commits 30 Branches 8 Tags
10ff3f3713dba332e78a6cecde5b314ddab2c480
Commit Graph
2 Commits
Author SHA1 Message Date
Roman.Ivanov 7f160662a5 AddExceptionToExistingCatch: supply more concrete intention text 2019-04-03 11:59:52 +07:00
Roman.Ivanov 5c55f93cd1 AddExceptionToExistingCatch: do not suggest catches if its successors are assignable to exception type: IDEA-208457 2019-04-02 16:10:45 +07:00