diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-24T09·33+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-24T09·33+0200 |
commit | a7e55151a8d45d987ca42ba318c44ed3ccdeecca (patch) | |
tree | 16ceef71cdb2068f0f046922784665a77a227a78 /doc | |
parent | fbe9fe0e7504d2f00eda3971ecd4997e43e3784d (diff) |
Fix #1314
Also, make nix-shell respect --option. (Previously it only passed it along to nix-instantiate and nix-build.)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions