mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 06:39:38 +07:00
Since it's supposed to be used from plugins. GitOrigin-RevId: 927f4cc9b3b823596d97c6d26314a624e4138262
Since it's supposed to be used from plugins. GitOrigin-RevId: 927f4cc9b3b823596d97c6d26314a624e4138262