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 /release.nix | |
| 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 'release.nix')
0 files changed, 0 insertions, 0 deletions