diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-04-13 14:07:50 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-04-13 14:07:50 -0400 |
commit | 1064adfa388d6879666fbde620ac7b114366f354 (patch) | |
tree | 3f9a98e26126c65d9b607b33a48dd395872c8515 /Command/VPop.hs | |
parent | 3f04c7c81a612427d5df7ae0982e72a392428cd1 (diff) |
webapp: When $HOME is a git repository, and has been initialized for use by git-annex, opening the webapp went ahead and ran the assistant there, annexing all files. Since this is almost certianly not desirable, especially when the user is just opening the webapp from a dekstop menu which happens to run it in $HOME, the webapp will now not treat such a $HOME git repository as a git-annex repository.
Diffstat (limited to 'Command/VPop.hs')
0 files changed, 0 insertions, 0 deletions