diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-29 22:57:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-29 22:57:49 +0200 |
| commit | de7eba887e9fe940dac0958836fa8fb778628d2a (patch) | |
| tree | 93b80fde60db3117b649190daa7918105a4d4e11 /doc | |
| parent | ea9dd6c0c1997b2c6d8bba6caa1da965ef40804f (diff) | |
| parent | d4029aa51a0f0bce5dc73885af74b592e3aa33b7 (diff) | |
Merge pull request #8572 from akien-mga/thirdparty
Moving more thirdparty stuff (minizip, some single-file external libs) to the thirdparty directory
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions