mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
- don't override `isDumbAware`, use `implements DumbAware` instead GitOrigin-RevId: 08d346abe53a51d3b2fdad3e3de458b3b40bd6b6
- don't override `isDumbAware`, use `implements DumbAware` instead GitOrigin-RevId: 08d346abe53a51d3b2fdad3e3de458b3b40bd6b6