diff options
author | Joey Hess <joey@kitenet.net> | 2012-02-17 23:15:29 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-02-17 23:15:29 -0400 |
commit | 5bf07b3b5c9a798c3a50a775f42888e497f48732 (patch) | |
tree | 4387bfee5cf49da02f3d168dcbe11487b45548c1 /Logs/Presence.hs | |
parent | 1ed5e4d9e3084f5371eb318c500254e1547240e7 (diff) |
Store web special remote url info in a more efficient location.
storing it in remotes/web/xx/yy/foo.log meant lots of extra directory
objects in git. Now I use xx/yy/foo.log.web, which is just as unique, but
more efficient since foo.log is there anyway.
Of course, it still looks in the old location too.
Diffstat (limited to 'Logs/Presence.hs')
0 files changed, 0 insertions, 0 deletions