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/docs | |
| 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/docs')
0 files changed, 0 insertions, 0 deletions