diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-06-14T17·00+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-14T17·00+0200 |
| commit | d73e881c81a8bf0522fbd026ddf44a7e1adcb81f (patch) | |
| tree | f117ab7b48a050e02aa87b3c91892b80eb3281d3 /doc | |
| parent | 85530bcc0b4c61499f90fa6125c19beeb0f4485e (diff) | |
| parent | 6d09e4400ce8a2f8ec24b0c934268c6fdb42d482 (diff) | |
Merge pull request #2230 from matthewbauer/patch-7
Fix optimise-store.cc to skip more paths on macOS
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions