diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-02-09T13·36+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-02-09T14·06+0100 |
| commit | aa02cdc33ceccce35e56d61535fdb2c55f13cc44 (patch) | |
| tree | 5ad22f21d5ba1e63fc06019c2f23c0e94e7bfd5a /doc/manual/images | |
| parent | 3d2d207aadb8e93760a9e417392208266f9985a3 (diff) | |
getDefaultSubstituters(): Skip broken substituters
Fixes #1340.
Diffstat (limited to 'doc/manual/images')
0 files changed, 0 insertions, 0 deletions