aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorLukas Larsson <[email protected]>2013-09-02 16:14:11 +0200
committerLukas Larsson <[email protected]>2013-09-02 16:21:24 +0200
commitb5a8aefd0bfa04ea770a9ec869cd079c37278629 (patch)
treea9f147de95550488056810342176c891253e93e6 /.gitignore
parente946b152f3b8c5a31b3096a733c6387d9681f0c5 (diff)
parent1477aa1a8b78a806ae6b815e16776a64cf6fbc6e (diff)
downloadotp-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 '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 7ccedd3ff3..9cd91245f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,6 +150,7 @@ JAVADOC-GENERATED
/erts/epmd/test/Emakefile
/lib/*/SKIP
+/lib/SKIP-APPLICATIONS
/lib/*/doc/html/*.html
/lib/*/doc/html/*.css