diff options
author | 2012-10-14 17:23:40 -0400 | |
---|---|---|
committer | 2012-10-14 17:23:40 -0400 | |
commit | 32eaa8c4ccc80bfc236e6d375f8aac84651244b2 (patch) | |
tree | 601957570449937052ab060c8abf40184087a24f /Logs/Remote.hs | |
parent | e60e6c580422b17b28471ea2e420416eb12e63da (diff) |
drop old config when rereading repo config
Before, the new config was merged into the old, so if eg, a remote was
renamed, it would have both the new and the old remote name.
Diffstat (limited to 'Logs/Remote.hs')
0 files changed, 0 insertions, 0 deletions