mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
This action seems unnecessary because the Workspace Model and Indexes should take care of synchronizing the files between disk and VFS. GitOrigin-RevId: 3131e5c8406a582e1216a6e8f8a8a03fde86a40e