Greetings to all, Would someone kindly tell me how to remove a file permanently from the repository? I tried rm -R file_name but when I tried to check in a new file with the same name as the one I removed, it still give me an error! Thank U in advance, Regards, Mahmoud Zaid 703 761-4033 x232