diff options
author | Shea Levy <shea@shealevy.com> | 2017-05-22 00:45:54 -0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2017-05-22 00:45:54 -0400 |
commit | b1b61d0988a458e7b0bbb75cac4fd12a246a83e1 (patch) | |
tree | cb8851b1dc25e0bddb373fba3f08decec288c8c4 /pkgs/tools | |
parent | abe0da425bb887df59c6b29aacf1a664b7cd646c (diff) | |
download | nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.tar nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.tar.gz nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.tar.bz2 nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.tar.lz nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.tar.xz nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.tar.zst nixlib-b1b61d0988a458e7b0bbb75cac4fd12a246a83e1.zip |
coq: nix-buffer: Inherit variables to PG shell
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions