Periodically check and remove the files/documents from the local index, if the files are removed in the remote repo - Githubissues

openmuthu / jaya

MIT License

0 stars 0 forks source link

Periodically check and remove the files/documents from the local index, if the files are removed in the remote repo #11

Closed openmuthu closed 7 years ago

openmuthu commented 7 years ago

Fixed. Added an option in settings