From 680d92341ca7e0df8e1b9cd1782f27c3238494ad Mon Sep 17 00:00:00 2001 From: dbr Date: Tue, 11 Jan 2022 18:12:28 +1100 Subject: [PATCH] Tidy --- imgui-sys/third-party/_update-imgui.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/imgui-sys/third-party/_update-imgui.sh b/imgui-sys/third-party/_update-imgui.sh index 544fbf6..48a1fe3 100755 --- a/imgui-sys/third-party/_update-imgui.sh +++ b/imgui-sys/third-party/_update-imgui.sh @@ -32,5 +32,4 @@ cp "${CHECKOUT}"/*.{h,cpp} "${OUT_DIR}"/ cp -r "${CHECKOUT}"/misc/freetype/ "${OUT_DIR}"/misc/ # Clean up - rm -r "${CHECKOUT}"