diff --git a/resources/3rdparty/log4cplus-1.1.2-rc2/src/liblog4cplusS.a b/resources/3rdparty/log4cplus-1.1.2-rc2/src/liblog4cplusS.a
deleted file mode 100644
index ffa3071ba..000000000
Binary files a/resources/3rdparty/log4cplus-1.1.2-rc2/src/liblog4cplusS.a and /dev/null differ
diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id b/resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id
deleted file mode 100644
index 10cc1a2a8..000000000
--- a/resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-607b1a028851226887af6b021f2222652a21d69a
\ No newline at end of file