| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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ž | |
| index : erebos | |
| [no description] | git |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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ž | |