diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-04-10 20:13:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-10 20:13:32 +0200 |
| commit | a2ec8eaf179a3c90fdc870c3605a9c1f61765148 (patch) | |
| tree | 5a025d1305d35ab67a3d1f66c61589398d1e2901 /.github | |
| parent | 8f0ec323ea0cb4791ca8edfe122b0d7523acfc80 (diff) | |
| parent | ca6b759f4ed95faba814ce0fda1668f09eb8faf3 (diff) | |
Merge pull request #8190 from NaN-git/configure_ac
add check for librapidcheck
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions