diff options
| author | Florian Diebold <[email protected]> | 2021-04-04 19:27:40 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-04 19:27:40 +0100 |
| commit | 645a9c3a274109512839b79d8e86a805a39cd6e1 (patch) | |
| tree | 30cce00086913ec4682db4d9704b6c609811de6b /editors | |
| parent | 508a1ecad3cf9c9f01022b3e95f9d6a7ad7a4cd5 (diff) | |
Move things from `traits` module to `types` as well
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions