diff options
| author | guigui64 <[email protected]> | 2020-05-05 21:44:39 +0100 |
|---|---|---|
| committer | guigui64 <[email protected]> | 2020-05-05 21:46:42 +0100 |
| commit | c22660179c3f892a56ad5bacfddd4c2ec563d35e (patch) | |
| tree | 00cbf8593507a297aca9338233f55e42d3f4bf92 /.github/actions | |
| parent | d38741f681c173a96e991dc3c213d4c85dc5a8af (diff) | |
add the allFeatures flag (true by default)
Diffstat (limited to '.github/actions')
0 files changed, 0 insertions, 0 deletions