tree 7869a24d25eb9c7513a81040300e966147ff79e6
parent f577d5fc1561eaf19754405b1e78e2051c439d49
author Thomas Klausner <wiz@danbala.tuwien.ac.at> 1118345236 +0000
committer Thomas Klausner <wiz@danbala.tuwien.ac.at> 1118345236 +0000

When unchanging a file before deleting it, allow duplicate
file names (because the file will be removed anyway).

--HG--
branch : HEAD