diff options
| author | uHOOCCOOHu <[email protected]> | 2019-09-07 15:46:44 +0100 |
|---|---|---|
| committer | uHOOCCOOHu <[email protected]> | 2019-09-08 18:34:53 +0100 |
| commit | c90256429bf41958ff6c7390dfd5fa25123eabb3 (patch) | |
| tree | d6b027eb4290795d158ea0463c9bc5f4d887e655 /editors | |
| parent | 26b092bd3b431559d7aafbf42882f978c0bb3dab (diff) | |
Replace with immutable map to avoid heavy cloning
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions