mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 08:09:39 +07:00
old spec issue is still not resolved and most probably won't be resolved in the future as would lead to the incompatibilities GitOrigin-RevId: be74d8ca83ce3c47d1e3dc9eb08de789fb881d2b