Skip to content

Cleanup index when opening a library#8962

Merged
calixtus merged 3 commits intomainfrom
removeDeletedFilesFromIndex
Jul 9, 2022
Merged

Cleanup index when opening a library#8962
calixtus merged 3 commits intomainfrom
removeDeletedFilesFromIndex

Commits

Commits on Jul 9, 2022