diff options
author | Gregoire Geis <[email protected]> | 2020-02-03 19:24:50 +0000 |
---|---|---|
committer | Gregoire Geis <[email protected]> | 2020-02-03 19:24:50 +0000 |
commit | b70ad7e5f3d524204fab88fe2a8c5a6fbef9e88e (patch) | |
tree | d01119552b4963f58834f4f8af14b674cbd9773c /crates/ra_batch | |
parent | 58c007674b8c746beab371ca13fce951af6cd1f2 (diff) |
Remove enableEnhancedTyping and type overriding infrastructure.
Diffstat (limited to 'crates/ra_batch')
0 files changed, 0 insertions, 0 deletions