url-decode-filename (proc)
public {url-decode-filename str:String}:String
Package: CURL.IO.FILE

Decode escaped '%', '?', '#' and ':' characters.

Description

This is used to decode parts of a Url that are known to only have been encoded with the minimal encoding done by url-encode-filename.

Notes

See also url-decode-string.