Skip to content
Unverified Commit dfe7ee54 authored by Tim Ruffing's avatar Tim Ruffing Committed by GitHub
Browse files

Merge pull request #148 from elichai/2019-08-travis 

Optimizing travis build time and fixing benchmarks
parents 288cc1e4 16fc4ee3
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment