diff options
| author | Laurențiu Nicola <[email protected]> | 2020-08-03 13:45:39 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-08-03 13:45:39 +0100 |
| commit | f1bbc776c01f88b678d693a3a3d824309e304ed1 (patch) | |
| tree | 7bd20a9228ea3018bb8a8f3d82426545b9673cb4 /.github/actions | |
| parent | e96bfd812a0f883bc9aa6b5ebe3b0a712c860487 (diff) | |
Fold trait declarations
Diffstat (limited to '.github/actions')
0 files changed, 0 insertions, 0 deletions