diff options
| author | datdenkikniet <jcdra1@gmail.com> | 2023-04-15 21:16:45 +0200 |
|---|---|---|
| committer | datdenkikniet <jcdra1@gmail.com> | 2023-04-16 13:08:46 +0200 |
| commit | d838286de679a1ac35ea79999816418cd02b7259 (patch) | |
| tree | c98736f11bfdac5c4c46e6299436aeed529387e5 /.github | |
| parent | 859cd418f063590a9928b3e43caeea0b53dc0823 (diff) | |
Fix config pickup behaviour so that both examples and usage-examples build
correctly
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions