Commit 895767b5 authored Mar 21, 2018 by Andreas Klöckner

Merge branch 'test-barvinok-build' into 'master'

Add barvinok build test

See merge request !4