diff --git a/third_party/imgui/repo b/third_party/imgui/repo deleted file mode 160000 index 2860d7ba05667b..00000000000000 --- a/third_party/imgui/repo +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2860d7ba05667be5e2e51cf27d658352884800b8 diff --git a/third_party/imgui/repo b/third_party/imgui/repo new file mode 100644 index 00000000000000..a3d7ba96d211d0 --- /dev/null +++ b/third_party/imgui/repo @@ -0,0 +1 @@ +39585aa90d43c26a12a0d754d16b407f0c1ca62d \ No newline at end of file