diff options
| author | Joris | 2017-07-25 09:48:20 +0200 |
|---|---|---|
| committer | Joris | 2017-07-25 09:48:20 +0200 |
| commit | 2d5739d348b4a56b366cc0447b5c1ce6a0bedce7 (patch) | |
| tree | cb8d763642900a34df5b6d6fb83b1c6f37279414 /shell.nix | |
| parent | 7091d40b31d4e9fe32ab15b865397e9abf0ba5d8 (diff) | |
Fix ci
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions