diff --git a/ThirdParty/.gitignore b/ThirdParty/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..b4bac0ecf395dd655e583e048902f92da63774ce --- /dev/null +++ b/ThirdParty/.gitignore @@ -0,0 +1,2 @@ +eigen-eigen-b3f3d4950030/ + diff --git a/ThirdParty/eigen-eigen-b3f3d4950030.tar b/ThirdParty/eigen-eigen-b3f3d4950030.tar deleted file mode 100644 index 4c050d1cc7e51abd98fc0c03b81b350c87b2b5f3..0000000000000000000000000000000000000000 Binary files a/ThirdParty/eigen-eigen-b3f3d4950030.tar and /dev/null differ diff --git a/ThirdParty/eigen-eigen-b3f3d4950030.tar.bz2 b/ThirdParty/eigen-eigen-b3f3d4950030.tar.bz2 new file mode 100644 index 0000000000000000000000000000000000000000..f7571b34f31468787f82a953029475b9896796a4 Binary files /dev/null and b/ThirdParty/eigen-eigen-b3f3d4950030.tar.bz2 differ