mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
PSI directory is useless as a dependency (equals to PSI mod. count) GitOrigin-RevId: 3096d96f000665815bc9e2ec749eaba451e97592
PSI directory is useless as a dependency (equals to PSI mod. count) GitOrigin-RevId: 3096d96f000665815bc9e2ec749eaba451e97592