Security note for users of the third-party Codecov tool: https://about.codecov.io/security-update/

Commit c88242d4 authored by Andreas Marek's avatar Andreas Marek

Rename header file of legacy C interface

parent c27fe3a6