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 /scripts/pre-push | |
| 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 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions