diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-12-10 15:23:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-10 15:23:07 +0000 |
commit | 6e61418a64233a3939a9017b5d893bae6797c8b0 (patch) | |
tree | 5d396b818e22ce23a95e95c9ed2c4d17cb0ca0c5 /pkgs/top-level/coq-packages.nix | |
parent | 97ad321e4268caf803f81492c6914daf3029d533 (diff) | |
parent | ffd47d5b16d63191abc58761115561f7268264d3 (diff) | |
download | nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.tar nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.tar.gz nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.tar.bz2 nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.tar.lz nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.tar.xz nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.tar.zst nixlib-6e61418a64233a3939a9017b5d893bae6797c8b0.zip |
Merge pull request #51833 from Synthetica9/revert-47909-menuconfig
Revert "linux: inside nix-shell, allow make menuconfig"
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions