Hi !

You can delete the index from the workspace. it will be created again on startup

greets
claus

Reply via email to