summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2024-05-14MiniCI configuration and cabal flagRoman Smrž
2021-08-04Create EREBOS_DIR and pass it via environmentRoman Smrž
2021-07-20Add .gitignoreRoman Smrž