mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
updating api dump closes https://github.com/JetBrains/intellij-community/pull/3156 (cherry picked from commit 2fe392f4141e930114956a4426fa63817350a42b) (cherry picked from commit 2a2a2f9dcf8192f2a7fad0c334c34079e835bc3c) IJ-MR-173046 GitOrigin-RevId: 7094b29d224e76aee61b30a7b0e7d255e1365df9