mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commitbb5d8b4561) (cherry picked from commitfcc58b4d16) (cherry picked from commit3b51e65b7b)
(cherry picked from commitbb5d8b4561) (cherry picked from commitfcc58b4d16) (cherry picked from commit3b51e65b7b)