diff options
| author | willemdj <[email protected]> | 2017-06-12 15:19:22 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-06-12 15:19:22 +0200 |
| commit | 477474aaa92d38c7f21cf0e941e4b0f29bdbfdf8 (patch) | |
| tree | f778b180cf2f3cceaeb4c93c43832795c4b415b5 /configure.in | |
| parent | dd9e39dc2b97e30c03b24a00eb757be7d2c2bdc2 (diff) | |
| download | otp-477474aaa92d38c7f21cf0e941e4b0f29bdbfdf8.tar.gz otp-477474aaa92d38c7f21cf0e941e4b0f29bdbfdf8.tar.bz2 otp-477474aaa92d38c7f21cf0e941e4b0f29bdbfdf8.zip | |
Fix type on line 872
I assume that it is a typo?
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions