mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
The action is defined in the platform and registered in some other IDEs (e.g. RubyMine and DataGrip) so if it is registered in Java plugin this may lead to clashes. GitOrigin-RevId: 0c1980bec0661a3c74d7fb5dfefa49393316b7f9