mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
This is needed to reuse it for the new implementation of JPS model (IJPL-409). GitOrigin-RevId: 510c9f53ac73ad2212de8af069a1e7bae299624f