Completed
Push — master ( c11f93...410e2d )
by Andres
25s
created

Changes

Good job, 1 issue was fixed.
9.1
▶   ± 0
Head
Andrés  
Fixed exotic boost description
1 more commit
Base
Andrés  
Merge pull request #183 from primeprover/master