diff options
| author | Björn Gustavsson <[email protected]> | 2016-10-04 15:11:05 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-10-28 10:15:53 +0200 |
| commit | e9c343d551779c975f075ae812ef8cd7ae0a1d64 (patch) | |
| tree | 0a1c7d93bfe6006af0573a1044ec438b4177e267 /configure.in | |
| parent | 97ee6664899949c5c40dfefa9d8b516ac639fb3c (diff) | |
| download | otp-e9c343d551779c975f075ae812ef8cd7ae0a1d64.tar.gz otp-e9c343d551779c975f075ae812ef8cd7ae0a1d64.tar.bz2 otp-e9c343d551779c975f075ae812ef8cd7ae0a1d64.zip | |
sys_core_fold: Eliminate complaint from core_lint
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions