From 9d937aa0abc9b905460c575e4cec3d26d1b8f60c Mon Sep 17 00:00:00 2001 From: Ming Yue Date: Wed, 9 Dec 2020 13:40:20 -0800 Subject: [PATCH] Remove duplicate WinBase.h and Windows.h. (#458) --- FreeRTOS/Test/CBMC/windows/WinBase.h | 0 FreeRTOS/Test/CBMC/windows/Windows.h | 0 2 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 FreeRTOS/Test/CBMC/windows/WinBase.h delete mode 100644 FreeRTOS/Test/CBMC/windows/Windows.h diff --git a/FreeRTOS/Test/CBMC/windows/WinBase.h b/FreeRTOS/Test/CBMC/windows/WinBase.h deleted file mode 100644 index e69de29bb2..0000000000 diff --git a/FreeRTOS/Test/CBMC/windows/Windows.h b/FreeRTOS/Test/CBMC/windows/Windows.h deleted file mode 100644 index e69de29bb2..0000000000