aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2019-12-16move ignore instruction for info files to top level.Paul Garlick1-1/+0
2019-11-29instruct git to ignore info files.Paul Garlick1-0/+1