diff options
| author | Björn Gustavsson <[email protected]> | 2017-11-27 14:45:02 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-11-27 14:46:28 +0100 |
| commit | 5833bc53f9b785146a58d17fc171a5f049ac1cb7 (patch) | |
| tree | 12fd81b36d84c0ec9e0530e8504ca8d54c1811a5 /configure.in | |
| parent | 4b1e7bca931198e010b33773f57e6e84b92ae007 (diff) | |
| download | otp-5833bc53f9b785146a58d17fc171a5f049ac1cb7.tar.gz otp-5833bc53f9b785146a58d17fc171a5f049ac1cb7.tar.bz2 otp-5833bc53f9b785146a58d17fc171a5f049ac1cb7.zip | |
erts: Fix bad merge of PR #1644
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions