diff --git a/.gitignore b/.gitignore index 7ef4ca1..485b7c8 100644 --- a/.gitignore +++ b/.gitignore @@ -25,9 +25,10 @@ lib/*Lexer.cpp lib/*Parser.cpp lib/*Parser.hpp -# Eigen headers -lib/Eigen/* +# Eigen headers and archives +lib/Eigen lib/eigen_files.mk +eigen-*.tar.bz2 # CI builds ci-scripts/local/* diff --git a/eigen-3.3.8.tar.bz2 b/eigen-3.3.8.tar.bz2 deleted file mode 100644 index 1b8b46c..0000000 Binary files a/eigen-3.3.8.tar.bz2 and /dev/null differ