]> git.uio.no Git - u/mrichter/AliRoot.git/search
If merging is complete, the method CheckMerging will delete also the zip archives...