aboutsummaryrefslogtreecommitdiff
path: root/src/set/.gitignore
AgeCommit message (Expand)Author
2017-01-25update ignore fileChristian Grothoff
2016-11-09- add subdirectory gitignore filesBart Polot