mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 07:39:39 +07:00
This reflects that we usually preserve ordering and in fact map to the List<String> GitOrigin-RevId: f44eb3efae5db372dfb1747d86b728a23ec5745b