mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-31 07:07:09 +09:00
If the new URL encoded path is found then it has precedence over the '%' escaped path. In case none of both is found the new URL approach is used.