diff options
| author | Joris | 2016-07-02 16:26:12 +0200 |
|---|---|---|
| committer | Joris | 2016-07-02 16:26:12 +0200 |
| commit | a04ec905da2c6a8640162a0d397e184ea1a8bc78 (patch) | |
| tree | f77f0a6012d0a2cb2eb0316273d5d13e83815f43 /dev | |
| parent | ba33dfef23d070bfff92d6322808507c1b7d2814 (diff) | |
Use nix to fetch dev tools
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions