29bb04aa0d
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. |
||
---|---|---|
.. | ||
Configurators | ||
Common.hs | ||
Configurators.hs | ||
Control.hs | ||
DashBoard.hs | ||
Documentation.hs | ||
Form.hs | ||
Gpg.hs | ||
MakeRemote.hs | ||
Notifications.hs | ||
OtherRepos.hs | ||
Page.hs | ||
Repair.hs | ||
RepoId.hs | ||
RepoList.hs | ||
routes | ||
SideBar.hs | ||
Types.hs |