diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 02:48:43 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:06:51 +0100 |
| commit | a6a20f17279e31e35861d52a16232897915918fc (patch) | |
| tree | 446fd196585dcff09bacbca52b9a1a64329791da /src | |
| parent | 59ff4e364dbd8973937c08066254dfdec1130810 (diff) | |
ci: Install stack from git when necessary
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions