Joey Hess 909d726d1d update list of other repos when adding one ... This way, once it switches to the new repo, the user can switch back to the old one, and its menu will allow switching to the new again. However, if there are multiple repos, the others don't yet learn about the new repo.		2013-01-03 15:34:50 -04:00
..
AWS.hs	type based git config handling	2012-12-29 23:10:18 -04:00
Edit.hs	type based git config handling for remotes	2013-01-01 13:58:14 -04:00
Local.hs	update list of other repos when adding one	2013-01-03 15:34:50 -04:00
Pairing.hs	type based git config handling	2012-12-29 23:10:18 -04:00
Ssh.hs	type based git config handling	2012-12-29 23:10:18 -04:00
WebDAV.hs	type based git config handling	2012-12-29 23:10:18 -04:00
XMPP.hs	type based git config handling	2012-12-29 23:10:18 -04:00