diff options
author | Tom Murphy <tomnom@google.com> | 2022-12-06 10:37:37 +0000 |
---|---|---|
committer | Tom Murphy <tomnom@google.com> | 2022-12-06 10:37:37 +0000 |
commit | 33ba3a8452ebb1a28903b2f1a81eecbb3f8e864a (patch) | |
tree | 41c1181a6f5a136f2ee7448acf7fc45e0c713e59 | |
parent | 3fac4218cc1e506cdd96a9a531ba19447c330326 (diff) | |
download | gamesdk-33ba3a8452ebb1a28903b2f1a81eecbb3f8e864a.tar.gz |
Checkout a tagged version of imgui
Bug: 261430336
Test: n/a
Change-Id: I7cd168818912d64c09281af60367d14ac0c3125a
-rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -110,7 +110,7 @@ then mkdir -p ./third-party pushd third-party if [ ! -d "imgui" ] ; then - git clone https://github.com/ocornut/imgui + git clone https://github.com/ocornut/imgui -b v1.89 fi popd popd |