Unverified Commit d8f88245 authored Aug 26, 2020 by Andreas Klöckner Committed by GitHub Aug 26, 2020

Merge pull request #8 from inducer/doc-fixes

Doc fixes