diff options
author | 2013-11-22 23:27:15 -0400 | |
---|---|---|
committer | 2013-11-22 23:27:15 -0400 | |
commit | 52ad9a1528bc51f65411aca263def97615367943 (patch) | |
tree | dcc336dd8e155c2ca4f12f90cc137569073bd752 /Git/SharedRepository.hs | |
parent | 14ccfc0abc1aa3130b07e7bd981b266f2eccd751 (diff) |
Fix bug that broke switching between local repositories in the webapp when they use the new guarded direct mode.
git treats eg ~/annex as a bare git repository located in ~/.annex/.git
if ~/annex/.git/config has core.bare=true.
Diffstat (limited to 'Git/SharedRepository.hs')
0 files changed, 0 insertions, 0 deletions