| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-18 | Add erebos-tester and MiniCI work dirs to gitignore | Roman Smrž | |
| 2021-07-13 | Use EREBOS_DIR environment variable and default to ./.erebos | Roman Smrž | |
| 2019-10-19 | Update ghc-environment in gitignore | Roman Smrž | |
| 2019-05-01 | Add .gitignore | Roman Smrž | |