Dmitry Lyubin c94aec8ac6 OPENIDE tips library replaced ...

(cherry picked from commit a793fcaadddeedcc70c313d3986fdb7c4c450de8)

2025-04-17 11:28:41 +04:00

..

jps-plugin

…

resources

OPENIDE tips library replaced

2025-04-17 11:28:41 +04:00

src

fix deadlock when service was called from EDT; more reliable Future completion (IDEA-363192)

2024-12-17 14:50:59 +00:00

tests

…

intellij.ant.iml

…

plugin-content.yaml

…