diff options
| author | kjeremy <[email protected]> | 2019-10-11 20:55:45 +0100 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2019-10-11 20:55:45 +0100 |
| commit | 53d1673edc13512423fa5236908a85102324c26a (patch) | |
| tree | e6f2f3a4ee0d9823c30994130157014cf0bf39ac /editors/code/src | |
| parent | 0896ca04c4e6f88ae268a39472570df4b6d360b0 (diff) | |
use any()
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions