diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-18 17:11:38 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-18 17:11:38 +0000 |
| commit | 6105dbfc2ee811f23255e74c45450c50cc155e85 (patch) | |
| tree | a0fe70dc1f05974765703aa2f2b6060233979216 /editors | |
| parent | c72d3a7c0989e63a9b063fed445cbbaf3e40a29f (diff) | |
| parent | 6f4f285f37c16e80b5fe7fbf8ec3bfe059e4b94a (diff) | |
Merge #7327
7327: Remove `item_tree::Expr` r=jonas-schievink a=jonas-schievink
It's empty and unused
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions