diff options
author | Lars Thorsen <[email protected]> | 2010-12-02 08:40:18 +0100 |
---|---|---|
committer | Lars Thorsen <[email protected]> | 2010-12-02 08:40:18 +0100 |
commit | a13deef4f2d5018cbdad51206d96cdde3e50f064 (patch) | |
tree | 7f5851dc249525cdc97335ed41c0e697f8eba4ca /lib/tools/Makefile | |
parent | c7fa778ae11c33f4568fbfd91d58550c781b54d6 (diff) | |
parent | abf26dd55e6f08b313c014e982c430777e06acba (diff) | |
download | otp-a13deef4f2d5018cbdad51206d96cdde3e50f064.tar.gz otp-a13deef4f2d5018cbdad51206d96cdde3e50f064.tar.bz2 otp-a13deef4f2d5018cbdad51206d96cdde3e50f064.zip |
Merge branch 'lars/xmerl/entity-check-error/OTP-8947' into dev
* lars/xmerl/entity-check-error/OTP-8947:
Fix entity checking when option skip_external_dtd is used so there is no fatal error.
Diffstat (limited to 'lib/tools/Makefile')
0 files changed, 0 insertions, 0 deletions