diff options
author | Joey Hess <joey@gnu.kitenet.net> | 2009-01-25 14:30:36 -0500 |
---|---|---|
committer | Joey Hess <joey@gnu.kitenet.net> | 2009-01-25 14:30:48 -0500 |
commit | 76dc563df1afffe55a516714577dafcfb09952bb (patch) | |
tree | 8e0ee2e244d49cfeba6d52b86b14a5f4e56261a4 /debian/po/pt.po | |
parent | 29dea62419d8232f9243a3521aab3fdd603d78a0 (diff) |
Prevent git from removing a directory when the last file in it has been removed, but the directory is left existing and empty, by touching a flag file before calling git rm. Closes: 513006
Diffstat (limited to 'debian/po/pt.po')
0 files changed, 0 insertions, 0 deletions