diff options
author | Hans Bolinder <[email protected]> | 2018-06-29 10:51:14 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-06-29 10:51:14 +0200 |
commit | d7495c826d4c653f72d510c3a8ff4034d732b323 (patch) | |
tree | 1c92f9bf82da95862dce589afbd207bca45d2ca8 /plt | |
parent | 6ab78c27ed7e8244fcaafd8c2706024ca707465c (diff) | |
parent | 94c9898e8dfb1b71eac318375b5c1bae5021733d (diff) | |
download | otp-d7495c826d4c653f72d510c3a8ff4034d732b323.tar.gz otp-d7495c826d4c653f72d510c3a8ff4034d732b323.tar.bz2 otp-d7495c826d4c653f72d510c3a8ff4034d732b323.zip |
Merge pull request #1842 from gomoripeti/erl_syntax
Small fixes in syntax_tools
See also OTP-15165.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions