summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2018-04-19Adding config/tap-driver.sh to .gitignore (#1792)yoni206
2014-06-21API documentation improvements.Morgan Deters
2014-02-21add new theory (sets)Kshitij Bansal
2013-11-27Ignore config/compile file, which newer autotools createMorgan Deters
2013-10-17minor fix to last commit (gitignore)Kshitij Bansal
2013-10-17.gitignore personal configuration filesKshitij Bansal
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2010-07-07Adding config.reconfig to .gitignoreChristopher L. Conway
2010-05-27Adding .cvc4_config to .gitignoreChristopher L. Conway
2010-04-05Ignoring gcov filesChristopher L. Conway
2010-04-01Adding newly generated filesChristopher L. Conway
2010-03-31Adding 'generated/' to .gitignoreChristopher L. Conway
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback