mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Code which used them was removed in 0a738760b25dfc65f3573858ef5f9825cc8ca3d4. GitOrigin-RevId: 5d708be7d4bb2a652953bf74e0d72a341e1572c6