diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:26:47 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:36:46 +0200 |
| commit | 188f27a7cd0723c290b5e12e4a376de229723e80 (patch) | |
| tree | 5a581e16475f93124886637140470fa7bdaf64ab /.gitignore | |
| parent | a8551e48ccb189202d8c7aa587c50044d7c41471 (diff) | |
gitlab-ci: Add retry to 'cabal install' command
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions