diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-03 11:19:41 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-03 11:19:41 -0400 |
| commit | 65b8b2cbc8ff2f9d8dc1958298c86965f46acbc6 (patch) | |
| tree | ed628308c678cf3bfc7b55d425b979fff03765e3 /.ghci | |
| parent | d267969464a13df7077522ef8463f4eeba136098 (diff) | |
Windows: Fix deletion of repositories by test suite and webapp.
On Windows, a file that is not writable cannot be deleted even if in a
directory with write perms. So git object files were not getting deleted
when removing a git repository.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions