diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-01-10 11:35:25 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-01-10 11:35:30 +0100 |
| commit | 6b06e4fd0d5a0524ae2d128a96dbeb39ca016d33 (patch) | |
| tree | b57fc0e53bb6f42bf8a2f7bbf696c31802b5fba2 /contrib/devtools | |
| parent | c07dd453e4df07716683e04e028e2f09314ba2f1 (diff) | |
| parent | 0d512a9ee7f01dbd6c06e83c2b3321d185790184 (diff) | |
Merge pull request #3503
0d512a9 gitian: Add -O2 for win32 build (Wladimir J. van der Laan)
Diffstat (limited to 'contrib/devtools')
0 files changed, 0 insertions, 0 deletions