mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
interface is not used externally, and after removing PsiModificationTracker#getOutOfCodeBlockModificationCount() it makes no sense anymore. ^IDEA-340901 fixed GitOrigin-RevId: e121babc02bf14f820dd8b3f974111e8240d692b