Merge pull request #1907 from kainino0x/separate-web-and-emscripten
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Thu, 19 Sep 2019 15:12:52 +0000 (09:12 -0600)
committerGitHub <noreply@github.com>
Thu, 19 Sep 2019 15:12:52 +0000 (09:12 -0600)
Separate GLSLANG_WEB (min-size build) and Emscripten options


Trivial merge