diff options
author | Jonas Schievink <[email protected]> | 2020-06-23 17:46:08 +0100 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2020-06-24 15:53:56 +0100 |
commit | f9a1a9cd3c7757ca3f8ba59287b5d36645008b9b (patch) | |
tree | af7502e953fd01422db014cbc5b30685f9369480 /.github | |
parent | b5fd02d93cdfafeba23f50ca9c414053aaa548ae (diff) |
Merge item tree traits
The Source trait isn't needed anymore since we no longer merge
extern crate items with use items.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions