mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
It makes no sense to have them in the platform. Also this is needed for IDEA-210732. GitOrigin-RevId: 5576888118121a3368c827b595033a1165668d7b