Today I created a small test repo, added it to the reporegistry and opened it. When I was finished with it, I closzed the repotab, and even removed it from the reporegistry. Then I opened Windows Explorer and tried to delete the repo folder. That however presented an eror message. See the attachment for a screendump. Happens both on Win 7 pro 32 and 64 bit. Only when I closed the Workbench I was able to delete the folder. I guess there is some reference to that repo folder staying behind, even when it is removed from the reporegistry, causing some lock on the folder ?