diff options
author | Joey Hess <joey@kitenet.net> | 2013-05-12 19:09:48 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-05-12 19:09:48 -0400 |
commit | ffcda9aa916b64affc5f1991a187d0f5a50f5298 (patch) | |
tree | 737d02c382a5016fb5b5b250a4a362b30ee20bfb /Git/FilePath.hs | |
parent | 3f84bd4c2c05b96c9962801b4bff0cc1cd558a70 (diff) |
fix the day's windows permissions damage
Diffstat (limited to 'Git/FilePath.hs')
-rw-r--r--[-rwxr-xr-x] | Git/FilePath.hs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Git/FilePath.hs b/Git/FilePath.hs index c3813fe9e..c3813fe9e 100755..100644 --- a/Git/FilePath.hs +++ b/Git/FilePath.hs |