summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)AuthorFilesLines
2009-01-14[petitcaml] Update .gitignoreGuillaume Seguin1-0/+2
2009-01-14[petitcaml] Add .gitignoreGuillaume Seguin1-0/+12