diff options
| author | Joris | 2016-10-03 20:24:59 +0200 |
|---|---|---|
| committer | Joris | 2016-10-03 20:24:59 +0200 |
| commit | 2a11b28d2ee636eb730dbb5767104aeac9936afa (patch) | |
| tree | c7261376073d9334007d24fbe67acda6e11943fa /shell.nix | |
| parent | c79aae101926d3e5a123b707dd1324dca50994b7 (diff) | |
| parent | 3a1cbfe23a3d06c3c30828c623a089868cff0670 (diff) | |
Merge branch 'master' into demo
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions