diff options
author | Björn Gustavsson <[email protected]> | 2017-03-06 10:06:13 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-03-06 10:06:13 +0100 |
commit | 40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2 (patch) | |
tree | e0f73949c2daa4de88b2218cf074674462fc9450 /erts/.gitignore | |
parent | ff965ce109ea10ec69bbac47b3a3f9b51c43f236 (diff) | |
parent | 532a74a36a889e3d7d25004ebce70da62b013755 (diff) | |
download | otp-40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2.tar.gz otp-40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2.tar.bz2 otp-40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2.zip |
Merge pull request #1313 from expelledboy/maint
tools: Allow Emake options to be passed in explicitly
OTP-14253
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions