diff options
| author | Florian Diebold <[email protected]> | 2019-12-26 15:42:57 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-26 15:42:57 +0000 |
| commit | dfe95d735bf9bb0d49d2ab90438577089207c8a0 (patch) | |
| tree | 443773efb235615480781e56b199d6f4b94b9654 /editors | |
| parent | 04cf98f8a6a67c899dd290d4b66c37794b24a568 (diff) | |
Remove Arc from RawVisibility
Now that it's not used as a direct query return value anymore, it doesn't need
to be cheaply cloneable anymore.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions