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