Commit 8aaaeacc authored Jun 30, 2018 by Andreas Klöckner

Merge branch 'direct-solver-proxy' into 'master'

Proxy Point Generator

See merge request inducer/pytential!112