diff --git a/.gitignore b/.gitignore index 96a65ce9870c40ab4ee783f67b212b5a5adf88ae..b9b63c941fc762a6390c5dec37b41c2058edd3be 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,7 @@ build/error.log build/inclusion/* build/libnptm/* build/libtool -build/Makefile +build/Makefile.in build/sphere/* build/testing/* build/trapping/*