diff options
author | Lukas Larsson <[email protected]> | 2013-09-02 16:14:11 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2013-09-02 16:21:24 +0200 |
commit | b5a8aefd0bfa04ea770a9ec869cd079c37278629 (patch) | |
tree | a9f147de95550488056810342176c891253e93e6 /erts/etc | |
parent | e946b152f3b8c5a31b3096a733c6387d9681f0c5 (diff) | |
parent | 1477aa1a8b78a806ae6b815e16776a64cf6fbc6e (diff) | |
download | otp-b5a8aefd0bfa04ea770a9ec869cd079c37278629.tar.gz otp-b5a8aefd0bfa04ea770a9ec869cd079c37278629.tar.bz2 otp-b5a8aefd0bfa04ea770a9ec869cd079c37278629.zip |
Merge branch 'maint'
* maint:
Refactor and change EXTRA_APPLICATIONS to use ls
Add configure option --without-$app
Conflicts:
HOWTO/INSTALL.md
lib/Makefile
Diffstat (limited to 'erts/etc')
0 files changed, 0 insertions, 0 deletions