summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2011-11-16.gitignore: add isl_config.h.in~Sven Verdoolaege1-0/+1
2011-07-11Tweak .gitignoreAndreas Kloeckner1-0/+4
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+4
2010-08-08update .gitignoreUday Kumar Reddy1-1/+38
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+11