diff options
| author | Blaž Hrastnik | 2021-03-16 14:14:51 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-03-16 14:14:51 +0000 |
| commit | 51c15da3c32b2f0bf3da6db9bca9496d333ec15a (patch) | |
| tree | 17f9bab081f0e9e58a967a62a73815a1fcf2acb3 /doc | |
| parent | 8dc0b18e35cdfdd76f435dcd43c1cfd5a3f0c7f7 (diff) | |
Hold a reference to executor on the Editor type.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions