diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-09-18 13:28:00 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-09-18 13:28:00 +0200 |
| commit | 84f112b1c8d3c5181b7a9b11d309f14f1709480d (patch) | |
| tree | f1bdc13776731b564e28b26729b4e9fb9b8c8183 /Makefile.config.in | |
| parent | aca4f7dff0ee615164668e923deaf5cc96ab1c8a (diff) | |
nix-shell: Ignore readFile() errors
Fixes #1563.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions