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