diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-27T13·34+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-29T10·28+0200 |
commit | 2b61c749227fcfc05e34bb9ea568602868ec11cb (patch) | |
tree | 335361965b37c37635311a482946000b88507f47 /.github | |
parent | 9d1220a01d662c1089e77f16d5d3e1ead8f0ed4d (diff) |
Process --option use-case-hack properly
Fixes https://github.com/NixOS/nix/issues/2009.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions