diff options
author | Patrik Nyblom <[email protected]> | 2013-03-18 10:40:05 +0100 |
---|---|---|
committer | Patrik Nyblom <[email protected]> | 2013-03-18 10:40:05 +0100 |
commit | fe18e8fc06ca156e0de76a6cf3f8068856746a36 (patch) | |
tree | 52e45d04ac7d6e243f55d32662517bfe3b47cab7 /erts/configure.in | |
parent | 676982407bf45c437de8059def8b7ce7435162cf (diff) | |
parent | bd733073d2ff954f9d90cf488f02955216917123 (diff) | |
download | otp-fe18e8fc06ca156e0de76a6cf3f8068856746a36.tar.gz otp-fe18e8fc06ca156e0de76a6cf3f8068856746a36.tar.bz2 otp-fe18e8fc06ca156e0de76a6cf3f8068856746a36.zip |
Merge branch 'pan/wrong_anchor_in_erl.xml' into maint
* pan/wrong_anchor_in_erl.xml:
Set unique anchor on +pc flag in erl.xml
OTP-10947
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions