Merge pull request #16431 from kjpou1/wasm-maindir-cleanup
commitf0cbb79b7f17d30c6674f600f4fccef8a4f1cc87
authorZoltan Varga <vargaz@gmail.com>
Fri, 23 Aug 2019 12:13:21 +0000 (23 08:13 -0400)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 12:13:21 +0000 (23 08:13 -0400)
tree234f995a2ad76f6ab480d2fa5722263de2cf1d69
parentfdd0d7f027f2f45a8aacd304747a42e4ae7d9739
parentf5717d21bbf4a98a2e1b8c431617590aec1d68f8
Merge pull request #16431 from kjpou1/wasm-maindir-cleanup

[wasm] Small cleanup of main wasm directory