diff options
author | Jonas Schievink <[email protected]> | 2020-07-14 12:33:37 +0100 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2020-07-14 12:33:37 +0100 |
commit | 85f5cbc9dc7027f922198f6c2d06cf382aad6970 (patch) | |
tree | fd73b03c195602955cd71af8d3d8a49007f94009 /editors | |
parent | 0f654b06ab093e7bb057cfd68b27925803b003d8 (diff) |
Move remove_bounds to edit.rs
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions