diff options
author | Sverker Eriksson <[email protected]> | 2019-05-23 19:32:05 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2019-05-28 21:06:02 +0200 |
commit | 978a3043d7da8aa2ed54f22cc1dddfe4f2b19eb0 (patch) | |
tree | 2bf05982647b522cdc1c3d3af441aa99de00a821 /erts/internal_doc/.gitignore | |
parent | 6618ce7b6a621e92db72ea4f01f7d38553c8818c (diff) | |
download | otp-978a3043d7da8aa2ed54f22cc1dddfe4f2b19eb0.tar.gz otp-978a3043d7da8aa2ed54f22cc1dddfe4f2b19eb0.tar.bz2 otp-978a3043d7da8aa2ed54f22cc1dddfe4f2b19eb0.zip |
erts: Allow several -config options on Windows
Diffstat (limited to 'erts/internal_doc/.gitignore')
0 files changed, 0 insertions, 0 deletions