diff options
| author | Patrik Nyblom <[email protected]> | 2011-05-11 17:10:43 +0200 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2011-05-11 17:10:49 +0200 |
| commit | 5703c55ea47c52a8dc8475085a8657422da3535e (patch) | |
| tree | 5087ca98851c9424ec4a3c0a776ffac35c6eaf40 /.gitignore | |
| parent | 550b27993d040a412032703e69341cd9d7dc846c (diff) | |
| parent | b76ad06f20a682c92354a4b7f7211bd1bf2b16b1 (diff) | |
| download | otp-5703c55ea47c52a8dc8475085a8657422da3535e.tar.gz otp-5703c55ea47c52a8dc8475085a8657422da3535e.tar.bz2 otp-5703c55ea47c52a8dc8475085a8657422da3535e.zip | |
Merge branch 'dc/improved_find_redist' into dev
* dc/improved_find_redist:
support new SDKs in find_redist.sh and fallback to $ERL_TOP as last resort
OTP-9287
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions