git-annex/Remote/WebDAV
Joey Hess 686791c4ed
more RawFilePath
Remove dup definitions and just use the RawFilePath one. </> etc are
enough faster that it's probably faster than building a String directly,
although I have not benchmarked.
2019-12-18 17:10:28 -04:00
..
DavLocation.hs more RawFilePath 2019-12-18 17:10:28 -04:00