Use new url when making new remotes. Transparently rewrite old url to new for existing remotes. |
||
|---|---|---|
| .. | ||
| AWS.hs | ||
| Delete.hs | ||
| Edit.hs | ||
| Fsck.hs | ||
| IA.hs | ||
| Local.hs | ||
| Pairing.hs | ||
| Preferences.hs | ||
| Ssh.hs | ||
| Upgrade.hs | ||
| WebDAV.hs | ||
| XMPP.hs | ||
Use new url when making new remotes. Transparently rewrite old url to new for existing remotes. |
||
|---|---|---|
| .. | ||
| AWS.hs | ||
| Delete.hs | ||
| Edit.hs | ||
| Fsck.hs | ||
| IA.hs | ||
| Local.hs | ||
| Pairing.hs | ||
| Preferences.hs | ||
| Ssh.hs | ||
| Upgrade.hs | ||
| WebDAV.hs | ||
| XMPP.hs | ||