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 | |
parent | e96bfd812a0f883bc9aa6b5ebe3b0a712c860487 (diff) |
Fold trait declarations
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions