diff options
author | Zandra Hird <[email protected]> | 2015-05-20 15:04:10 +0200 |
---|---|---|
committer | Zandra Hird <[email protected]> | 2015-05-20 15:04:10 +0200 |
commit | 9b06ba5eaaf9cab35d77b81cba6c760af0f9556a (patch) | |
tree | d2fa766338b594e1275f4cc3285bc991dde54bc0 /erts/doc/src | |
parent | 7cd495d448663c9c4589d1548231b7edc0725690 (diff) | |
parent | 7168dabcc8127726ab32518e190bee8e7cd9795c (diff) | |
download | otp-9b06ba5eaaf9cab35d77b81cba6c760af0f9556a.tar.gz otp-9b06ba5eaaf9cab35d77b81cba6c760af0f9556a.tar.bz2 otp-9b06ba5eaaf9cab35d77b81cba6c760af0f9556a.zip |
Merge branch 'josevalim/patch-4'
* josevalim/patch-4:
Speed up linting by not traversing filenames in erl_anno
Diffstat (limited to 'erts/doc/src')
0 files changed, 0 insertions, 0 deletions