diff options
Diffstat (limited to '3rdparty/imgui/ocurnut-imgui.stamp')
| -rw-r--r-- | 3rdparty/imgui/ocurnut-imgui.stamp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/3rdparty/imgui/ocurnut-imgui.stamp b/3rdparty/imgui/ocurnut-imgui.stamp deleted file mode 100644 index e63d5f3..0000000 --- a/3rdparty/imgui/ocurnut-imgui.stamp +++ /dev/null @@ -1,2 +0,0 @@ -# This file labels the commit which our source is from -a61ca097a79f04ac630834919b5fa186e4bfc52c |