mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
(cherry picked from commit a38b02bb30b6b39d327ff151d15b55ba2a7b38f3) IJ-MR-167011 GitOrigin-RevId: 006f1d4a08fecf17a4d40a59e9cc3b81d7cb5e43