diff options
| author | 2015-07-14 10:09:29 +0200 | |
|---|---|---|
| committer | 2015-07-14 10:09:45 +0200 | |
| commit | 1cba08f4246386ad3188f727290fc1ac1e0fb95f (patch) | |
| tree | 0941bde8c6eb250d6316891ed731cab3e56e55a5 /makefile | |
| parent | 6bfa7f38d5d3332f035a0ad1971aa9fdb86d442a (diff) | |
travis: lets see if OPTIMIZE=0 is faster
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions
