diff --git a/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplusSD.c.idb b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplusSD.c.idb new file mode 100644 index 000000000..583a4aa22 Binary files /dev/null and b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplusSD.c.idb differ diff --git a/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplusSD.lib.REMOVED.git-id b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplusSD.lib.REMOVED.git-id new file mode 100644 index 000000000..6e7a18c13 --- /dev/null +++ b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplusSD.lib.REMOVED.git-id @@ -0,0 +1 @@ +ef4465dc3f2469c377b10c1dd5e2661f3d3a0c1d \ No newline at end of file diff --git a/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplussd.c.pdb b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplussd.c.pdb new file mode 100644 index 000000000..c718ca110 Binary files /dev/null and b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Debug/log4cplussd.c.pdb differ diff --git a/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Release/log4cplusS.lib.REMOVED.git-id b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Release/log4cplusS.lib.REMOVED.git-id new file mode 100644 index 000000000..aecd50a4f --- /dev/null +++ b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Release/log4cplusS.lib.REMOVED.git-id @@ -0,0 +1 @@ +affbd395cee36ff5860d51aa24a4358d640b80e6 \ No newline at end of file diff --git a/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Release/log4cpluss.c.pdb b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Release/log4cpluss.c.pdb new file mode 100644 index 000000000..fd51f6fc8 Binary files /dev/null and b/resources/3rdparty/log4cplus-1.1.0/msvc10/x64/bin.Release/log4cpluss.c.pdb differ diff --git a/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/x64/Debug/Ltl2dStar.lib.REMOVED.git-id b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/x64/Debug/Ltl2dStar.lib.REMOVED.git-id new file mode 100644 index 000000000..4426f0cc0 --- /dev/null +++ b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/x64/Debug/Ltl2dStar.lib.REMOVED.git-id @@ -0,0 +1 @@ +444415f78616db5e7aaf14f6d00ce861e72ecf05 \ No newline at end of file diff --git a/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/x64/Release/Ltl2dStar.lib.REMOVED.git-id b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/x64/Release/Ltl2dStar.lib.REMOVED.git-id new file mode 100644 index 000000000..90c7004a5 --- /dev/null +++ b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/x64/Release/Ltl2dStar.lib.REMOVED.git-id @@ -0,0 +1 @@ +284445db777ba07c9455a9cdcc0c2ebed410e0d4 \ No newline at end of file