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