diff options
| author | Laurențiu Nicola <[email protected]> | 2021-05-27 14:52:15 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2021-05-27 14:52:30 +0100 |
| commit | 2268a220e4ba4ae6f45b564e5e88c2c62d22749d (patch) | |
| tree | 0e77f330f8fee0353893f5ca4d49e8b9bb6f7f63 /lib | |
| parent | d0a4ba294ccf0c925a5ff1115c19a60c6a24b734 (diff) | |
Don't store supertraits in ItemTree
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions