diff options
| author | Blaž Hrastnik | 2021-10-25 03:07:49 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-10-27 03:25:00 +0000 |
| commit | e36ad8b4edcede174ffad404b70d7c12d007548e (patch) | |
| tree | d6ffc9ae290cc9876336cd37cdb5061ed34fa464 /.github/workflows | |
| parent | 2505802d39f18f2f2dcfe8e00633f895c67beb76 (diff) | |
minor: Further simplify take_with
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions