diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-09-18 20:49:24 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-09-18 20:51:38 +0200 |
| commit | 2bd30ac61cab9c66d6155ed1ed3e5f4dd0470444 (patch) | |
| tree | b4d423c3fb1c002e352932bf2696e0a58b98ecc9 /Distribution/Helper.hs | |
| parent | 5bf0f98fdff9ec190ff8a491638ca23147bec8cc (diff) | |
Extract CI config into scripts
Diffstat (limited to 'Distribution/Helper.hs')
0 files changed, 0 insertions, 0 deletions