diff options
| author | Dan Gudmundsson <[email protected]> | 2018-04-19 12:15:13 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-04-19 12:15:13 +0200 |
| commit | 48a4d8196f024015c111d6b7690230d66a6882cf (patch) | |
| tree | 4bd8358f9b63eb08e4ea1694ec3777d8055f84ba /prebuild.delete | |
| parent | 747e027b085c0569088f12999824dcce63be0935 (diff) | |
| parent | 04f1bfac7a6db7d6a030190ea6bc89cf493af2eb (diff) | |
| download | otp-48a4d8196f024015c111d6b7690230d66a6882cf.tar.gz otp-48a4d8196f024015c111d6b7690230d66a6882cf.tar.bz2 otp-48a4d8196f024015c111d6b7690230d66a6882cf.zip | |
Merge pull request #1768 from dgud/dgud/wx/build-on-wxW-311
Allow building with wxWidgets-3.1.1
OTP-15027
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions