| Age | Commit message (Expand) | 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ž |