Merge pull request #1667 from eht16/issue1018_win_execute_builtin_path
commit2c8f754988bb597bcc6d3493f58d55c8b36c0c9f
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 5 Nov 2017 22:02:24 +0000 (5 23:02 +0100)
committerGitHub <noreply@github.com>
Sun, 5 Nov 2017 22:02:24 +0000 (5 23:02 +0100)
tree3e4dc9e41d9169e21be838ccbce2da7cc8f789f1
parenta8512a2a1fc7ab4a155672234d160baf831330a0
parentcb669e2a019eb5cb9a62e39c886ce928350ba699
Merge pull request #1667 from eht16/issue1018_win_execute_builtin_path

Use utils_get_uri_file_prefix() as file URI prefix