diff options
| author | Florian Diebold <[email protected]> | 2019-03-02 19:55:56 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-03-03 02:00:17 +0000 |
| commit | affaf7700a86942f82e4cb25348c719bb928399a (patch) | |
| tree | e8d4dfba9b06be10a00c6ccef42f0fce6fe4d9a2 /editors | |
| parent | b7fdad8448cbd3a94c2cb877a1d209f3182ca0d5 (diff) | |
Represent unknown types as {unknown} instead of [unknown]
Since the latter could actually be a real type...
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions