diff options
author | Lukas Larsson <[email protected]> | 2017-10-18 10:22:00 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-10-18 10:22:00 +0200 |
commit | 9afdaa2a401a0dbe5820df48212d33ec2cdb6144 (patch) | |
tree | c4117b8966456e1da77fe31ae84353d028bb367a /erts/configure.in | |
parent | b73c4d012e122547c896f64d92ef9af3e531433e (diff) | |
parent | b7a5e370d7a7a1b6cfc9c96cb56d7acfc0fa944b (diff) | |
download | otp-9afdaa2a401a0dbe5820df48212d33ec2cdb6144.tar.gz otp-9afdaa2a401a0dbe5820df48212d33ec2cdb6144.tar.bz2 otp-9afdaa2a401a0dbe5820df48212d33ec2cdb6144.zip |
Merge branch 'lukas/erts/win_user_home_dir/OTP-14691' into maint
* lukas/erts/win_user_home_dir/OTP-14691:
erts: Use PROFILE dir as home on windows
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions