From 4269a726e3ca96a1676d35600f32c29ae5e120a6 Mon Sep 17 00:00:00 2001 From: George Hazan Date: Thu, 16 Feb 2017 20:51:24 +0300 Subject: duplicated lib folders no needed anymore --- bin10/lib/mir_core.lib | Bin 318516 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 bin10/lib/mir_core.lib (limited to 'bin10/lib/mir_core.lib') diff --git a/bin10/lib/mir_core.lib b/bin10/lib/mir_core.lib deleted file mode 100644 index da05af9a8b..0000000000 Binary files a/bin10/lib/mir_core.lib and /dev/null differ -- cgit v1.2.3