mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
we can't change existing names in a backwards-compatible way GitOrigin-RevId: 46f8980842d90dd1aae3ce5a9a32dfd4afc30735
we can't change existing names in a backwards-compatible way GitOrigin-RevId: 46f8980842d90dd1aae3ce5a9a32dfd4afc30735