diff options
| author | Hans Bolinder <[email protected]> | 2019-01-16 09:48:26 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-01-16 09:48:26 +0100 |
| commit | 7000e101745cc028e4656eaaae3ea5a1a4498747 (patch) | |
| tree | e05f88e9267f7bd226d2e82555b7598e7c574dc1 /.dir-locals.el | |
| parent | 99fbb24b5396749b698474165880f84e3c799b49 (diff) | |
| parent | 52fdb19885ce9342e29a8c946c76222567a6605c (diff) | |
| download | otp-7000e101745cc028e4656eaaae3ea5a1a4498747.tar.gz otp-7000e101745cc028e4656eaaae3ea5a1a4498747.tar.bz2 otp-7000e101745cc028e4656eaaae3ea5a1a4498747.zip | |
Merge pull request #2074 from gomoripeti/singleton_char_type
Fixes in erl_parse:abstract_type/0 type
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions