mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:10:43 +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