mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
This is needed for a clearer understanding of the API: there is no ordering of changes in VersionedStorageChange GitOrigin-RevId: 2a3800e216d81e87e836f8bd19708b5ba74f496a