mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
- in production there is no top level command which leads to differences, and the test does not catch bugs like IDEA-358141 anymore GitOrigin-RevId: 56f27a8ddf6c9e3c4d92aaf2510b007914b1ec1a