diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-06 22:12:54 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-06 22:12:54 +0000 |
| commit | 3c945ceb5e0dc287139de0589cc9a4b285911f17 (patch) | |
| tree | 2a47241c2a73fabb903157dd5cf71671df013980 /editors/emacs/ra.el | |
| parent | 31c1999505ccb51584dee45fb9fa1ffe16b1608e (diff) | |
| parent | a4e97f5a2b68939c503662369b1f02c478768e6d (diff) | |
Merge #447
447: Show types when hovering patterns as well r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/emacs/ra.el')
0 files changed, 0 insertions, 0 deletions