diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-06-21T19·33+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-21T19·33+0200 |
| commit | 6924bdf2bf8f50f2e6ec5d490571594450aba13a (patch) | |
| tree | 3e2dc68488201dbbdfee534f5a6d6710b96a5aef /src | |
| parent | 629398d05cc7ed42d0b676b2f02ee8985d2668be (diff) | |
| parent | 81261ca5381eb503b27a529bb9d35383e79f98b8 (diff) | |
Merge pull request #2243 from peti/master
docker: move the docker file to https://github.com/NixOS/docker
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions