aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2012-10-03Remove bin2cEelco Dolstra
2012-10-03When ‘--help’ is given, just run ‘man’ to show the manual pageEelco Dolstra
2012-07-26Add some .gitignore entriesEelco Dolstra
2012-07-26Merge branch 'master' into no-manifestsEelco Dolstra
2012-07-18Use "#pragma once" to prevent repeated header file inclusionEelco Dolstra
2012-06-29First attempt at the manifest-less substituterEelco Dolstra
2012-03-18Drop the externals directoryEelco Dolstra
2012-02-08Update .gitignoreEelco Dolstra
2011-09-19Update gitignoreShea Levy
2010-02-10Add `.gitignore'.Ludovic Courtès