erebos/.gitignore, branch v0.1.4 [no description] Add erebos-tester and MiniCI work dirs to gitignore 2024-02-18T21:18:24+00:00 Roman Smrž roman.smrz@seznam.cz 2024-02-18T21:18:24+00:00 2107684b6fded1b00dd2c4c84a6ff5926a76347d 






Use EREBOS_DIR environment variable and default to ./.erebos
2021-07-13T20:03:00+00:00

Roman Smrž
roman.smrz@seznam.cz

2021-07-13T20:03:00+00:00

9470f77fbace237fd956f9768ff114a9cefd29b0












Update ghc-environment in gitignore
2019-10-19T21:16:19+00:00

Roman Smrž
roman.smrz@seznam.cz

2019-10-19T21:16:19+00:00

dcb2213803fc9ccfa0d615a607283c990eebf32d












Add .gitignore
2019-05-01T21:57:38+00:00

Roman Smrž
roman.smrz@seznam.cz

2019-05-01T21:57:38+00:00

72b0141750f2ca3393fb2b45eb8a4dfc95d9c2b4