diff options
| author | Vincent Laporte | 2018-07-03 10:33:12 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-07-03 10:33:12 +0000 |
| commit | dbba44b5ea7608a66989b7fb065a0ef0b46ca7fe (patch) | |
| tree | 1fd8f240389f279defb263205775578b42ef5396 /dev | |
| parent | 543aa308f4adcd6365b2390e258dde1e3f21b861 (diff) | |
| parent | 3c269d6a79d602fee440b61431b6fba8a8479113 (diff) | |
Merge PR #7974: Fix default.nix following a package renaming.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions