summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2024-02-18Add erebos-tester and MiniCI work dirs to gitignoreRoman Smrž
2021-07-13Use EREBOS_DIR environment variable and default to ./.erebosRoman Smrž
2019-10-19Update ghc-environment in gitignoreRoman Smrž
2019-05-01Add .gitignoreRoman Smrž