mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
This is a preliminary commit to ensure that Git will detect rename properly. GitOrigin-RevId: e9115cefe0231401941c0bbb9af508a06ac16ecf