gitignore update

aportelli · Jan 20, 2024 · a620ff7 · a620ff7
1 parent 00cf854
commit a620ff7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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