diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-15 11:25:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-15 11:25:19 +0200 |
| commit | 2a8017092025a7c108ca1a829a8b4f0bcf7ee2c0 (patch) | |
| tree | d390eb655550077dd1292c4780e410bb975e6a9d /.gitignore | |
| parent | 885cc9140574d4f8e32ef237c18f2b64ab8fadd5 (diff) | |
| parent | 057c6203b5337cb4833958f4a4f29f6587f4eb2f (diff) | |
Merge pull request #4014 from tweag/fix-queryDrvOutputMaps-for-old-daemons
gracefully handle old daemon versions
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions