diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-11-09 18:21:36 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-11-09 18:21:36 +0100 |
| commit | 78100c3f35e6d05da3313fc8b28e24e550c8240a (patch) | |
| tree | 7e841bba92b997ec5e13b249e72195a9908a5ce0 /.github | |
| parent | 20c50414163aabe6216c638b25c9568cfd1db458 (diff) | |
static_assert message
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions