Do not read a repeated tool name as an uninstalled one - #803

Do not read a repeated tool name as an uninstalled one#803

SimonCropp merged 1 commit into

mainVerifyTests/DiffEngine:mainfrom

fix-toolsorder-duplicate-throwVerifyTests/DiffEngine:fix-toolsorder-duplicate-throwCopy head branch name to clipboard