diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-17 10:58:55 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-17 10:59:03 +0100 |
| commit | 129429dd8f6dfcb76fa1a481b91c06e36808523d (patch) | |
| tree | eac89809ca31bb0ba034cbe1d3c893552ce4067f /share | |
| parent | 256a71b835eb0f0d9332c015dfb46dd695dfc971 (diff) | |
| parent | d54e819f65c193aaa018df6612257e84b6565c84 (diff) | |
Merge pull request #3643
d54e819 Log warnings when bootstrap files are specified but cannot be opened (Wladimir J. van der Laan)
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions