diff options
| author | Théo Zimmermann | 2019-11-01 11:07:51 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-11-01 11:07:51 +0100 |
| commit | e8ac44de70bc98d5393d7be655fd8ddc2eee5310 (patch) | |
| tree | c42d8a0ba9cb651bf7d0362f71a7e1ae18131060 /tools | |
| parent | 6694a1811dc4e961a81fb4464cf5aaf05f1b5752 (diff) | |
| parent | 17da8b9f0f0c2afc6c52c0f2ef688287f2f560c8 (diff) | |
Merge PR #11015: [Nix] Update reference to nixpkgs
Reviewed-by: Zimmi48
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions