diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-07-06 21:36:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-06 21:36:37 +0200 |
| commit | aa64e95bc82b3a57f3a645a746aacf4d2479266e (patch) | |
| tree | 59e189fb0d5a1eae20708c159a491f08d795d0ba /maintainers | |
| parent | f1f4c257f48ed863b2061bc47a2334fd37ca3eff (diff) | |
| parent | 6a24e49ba82553b5efcc49c627424bd4e26e16a5 (diff) | |
Merge pull request #2250 from dtzWill/feature/repl-progress-bar-builds
repl: use `nix build` for building instead of `nix-store -r`
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions