diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2020-01-20 13:36:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-20 13:36:48 +0100 |
commit | 778f317820532a09cfe43287516d3be9ce62925b (patch) | |
tree | 7a0a47dffdce2f0d59b44ba0941dc61eba0b36f3 /pkgs/os-specific/linux/kernel | |
parent | bcd8c6b8dce40e62cbe70031f7def119b8b16c0c (diff) | |
parent | 8df4338f51d91279c5d87f1447fcbda434abc633 (diff) |
Merge pull request #77972 from LnL7/enable-rustc-dev
rustPackages: make rustc-dev optional
Diffstat (limited to 'pkgs/os-specific/linux/kernel')
0 files changed, 0 insertions, 0 deletions