From 01650b71c92a67807e346bfff655c59df58f2bfd Mon Sep 17 00:00:00 2001 From: Romain Forlot Date: Mon, 23 Oct 2017 18:44:34 +0200 Subject: Remove external 3rdparty library Downloaded at build time. Change-Id: If15e9bcb4cc7d09cec1837a0ad62e4a3c6beb4e1 Signed-off-by: Romain Forlot --- 3rdparty/lua/src/ldump.o | Bin 4192 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 3rdparty/lua/src/ldump.o (limited to '3rdparty/lua/src/ldump.o') diff --git a/3rdparty/lua/src/ldump.o b/3rdparty/lua/src/ldump.o deleted file mode 100644 index 1077dd0..0000000 Binary files a/3rdparty/lua/src/ldump.o and /dev/null differ -- cgit 1.2.3-korg