Hi, I wanted my workspace.xml to pick up changes made to my repository.xml.
My first attempt was to delete workspace.xml in the hope it would be re-created on startup. Instead I get an exception thrown. I don't want to delete the workspace folder as the index folder is HUGE and I don't want it re-created. Any suggestions? Thanks, Rob.
