diff options
author | guilhem <guilhem@fripost.org> | 2013-08-19 04:31:28 +0200 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-08-22 11:33:16 -0400 |
commit | 6f5c5be73abc52ea275e85709cf97d8acacf388e (patch) | |
tree | 08a8e71cd1e58a0b1b6079b79004a8f1f0112c68 /Git/Remote.hs | |
parent | f7940faaa3ce2b45222f4a58406f00d21a996b35 (diff) |
Unescape characters in 'file://...' URIs.
That allows, in Git remotes, such URIs to contain spaces or UTF-8
characters. Closes http://git-annex.branchable.com/bugs/Unable_to_use_remotes_with_space_in_the_path/ .
Diffstat (limited to 'Git/Remote.hs')
0 files changed, 0 insertions, 0 deletions