Skip to content

Support ignoring file deletions#76

Merged
johnlk merged 4 commits intomainfrom john/ignore-file-deletionsMay 14, 2024