tree 31b5eecb36696baa2215a61748a02524c84ad60b
parent 73b0ff342b45e665dd007503da0342abb5f81117
author Lenny Komow <lenny@lunarg.com> 1473435797 -0600
committer Lenny Komow <lenny@lunarg.com> 1473435956 -0600

winsdk: Fix ConfigureRT.exe not being deleted