diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-02 13:55:08 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-02 13:55:08 +0000 |
| commit | 30b87eb88073e48b8cde416ca7ff4eb59e408e20 (patch) | |
| tree | 4f700cec98628d0ea1a1ad704b3d4050ce71680c /editors/code/src | |
| parent | 592b906604d60a86af74c5dbb3bf40b2ddcf8061 (diff) | |
| parent | 862b663501570d24deefd72e76dfd4ff35d88e61 (diff) | |
Merge #914
914: A bit of cleanup in ty.rs r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions