summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)AuthorFilesLines
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