mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
It is a workaround for expensive references contributors like `CustomServletReferenceProvider`. GitOrigin-RevId: 942827a1701b23958748e92c3da82058ca27afe1
1.2 KiB
1.2 KiB