diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-06-17T12·44+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-17T12·44+0200 |
| commit | 4b214e6e4566a52fa073166d8164b79627eb5601 (patch) | |
| tree | da8d724568f36d22f5584420e31029eb6e6d2008 /doc | |
| parent | 38a4d38bc33d9943bdee4de8c77f5161bcc3fbb0 (diff) | |
| parent | 3cc1125595d97b4ab7369e37e4ad22f4cfecb8b2 (diff) | |
Merge pull request #2878 from NixOS/run-in-pts
Run builds in a pseudo-terminal
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions