KÖLL Claus Fri, 29 Jan 2016 00:59:02 -0800
Hi ! You can delete the index from the workspace. it will be created again on startup
greets claus