diff options
| author | Jeremy Kniager <jeremyk@lunarg.com> | 2019-11-22 09:57:36 -0700 |
|---|---|---|
| committer | jeremyk-lunarg <jeremyk@lunarg.com> | 2019-12-10 15:12:00 -0700 |
| commit | ee1f411cfcbe76d2ec2c75f572187d436aa07ecf (patch) | |
| tree | 213817e06eed5040e653bec437b8ba204f58c73c /scripts | |
| parent | 8c4e6525314edbb879c66a710e4e69aa530a47f9 (diff) | |
| download | usermoji-ee1f411cfcbe76d2ec2c75f572187d436aa07ecf.tar.xz | |
windows: Change winrt name
Changed the name of the `winrt` directory to
`windows-runtime-installer` as suggested in
issue #134
Change-Id: I7cc29c78444c30bece214dc9ec8a3d5b4b6728b2
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions