mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
- don't copy annotations except nullable GitOrigin-RevId: 0592a3e224a8cb0614b496f8f6e6ddd6e2315239
- don't copy annotations except nullable GitOrigin-RevId: 0592a3e224a8cb0614b496f8f6e6ddd6e2315239