diff options
| author | Vincent Laporte | 2018-10-04 09:14:32 +0000 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-09 14:00:15 +0200 |
| commit | e739af593ae0a9ca20a839aa2a481628dd768ef6 (patch) | |
| tree | 3e27034c09344908c691f338d25a1f387431f1d9 /dev | |
| parent | 368d854566ee076618be625d0223657d31f8e13d (diff) | |
[default.nix] some fixes
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions