mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 01:09:46 +07:00
Merge-request: IJ-MR-182369 Merged-by: David Lysenko <david.lysenko@jetbrains.com> (cherry picked from commit 3a29771c841058d1591ae79eee71887ce495d15e) IJ-MR-182369 GitOrigin-RevId: 7e24ff6fb745b422a9f949b46b27c692d7bbd3a2
1.5 KiB
1.5 KiB