diff options
author | Siri Hansen <[email protected]> | 2014-02-17 09:36:57 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2014-02-17 09:36:57 +0100 |
commit | a37ea8849ab29cb8d15ab3bc5a3ba1fc16dd0276 (patch) | |
tree | 6780e9e165b1ce4de896803778971f8c163f3a91 /erts/doc/src/Makefile | |
parent | 9f2753f13c2a9b840e76fc10a12752aaa09a7e96 (diff) | |
parent | 656f0386d5604bdcfe5f9d7477ef55773d4ecb71 (diff) | |
download | otp-a37ea8849ab29cb8d15ab3bc5a3ba1fc16dd0276.tar.gz otp-a37ea8849ab29cb8d15ab3bc5a3ba1fc16dd0276.tar.bz2 otp-a37ea8849ab29cb8d15ab3bc5a3ba1fc16dd0276.zip |
Merge branch 'siri/patch_app/OTP-11711'
* siri/patch_app/OTP-11711:
Add patch_app option to otp_build
Diffstat (limited to 'erts/doc/src/Makefile')
0 files changed, 0 insertions, 0 deletions