diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2018-08-23 22:43:21 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-08-23 22:43:21 +0200 |
| commit | 095b631701a5eb85544b1c720d0b575b4106ef4a (patch) | |
| tree | b4a25bb05959af532f2443540a77b3f37a9af475 /scripts/ci/retry.sh | |
| parent | ca697749ef26f38c26967511b6ac6273b55e0268 (diff) | |
Allow cabal-plan 0.4
Diffstat (limited to 'scripts/ci/retry.sh')
0 files changed, 0 insertions, 0 deletions