aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPeter Carbonetto2017-05-28 11:52:30 -0500
committerPeter Carbonetto2017-05-28 11:52:30 -0500
commit5252c296a389f296e97d95e56f13b77351b32bec (patch)
tree6c31373e3b18a5fc469fadebb406420cced54a0e /.gitignore
parentfa8152bcf86ea3fa21aaa847858bdd0f68d58867 (diff)
downloadpangemma-5252c296a389f296e97d95e56f13b77351b32bec.tar.gz
Removed FORCE_FLOAT option from Makefiles.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index f694434..108e607 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,6 @@
*.o
*.tar.gz
src/Eigen
-src/*_float.h
-src/*_float.cpp
example/output
doc/manual.aux
doc/manual.bbl