summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2019-10-19Update ghc-environment in gitignoreRoman Smrž
2019-05-01Add .gitignoreRoman Smrž