gitignore: Stop telling Git to ignore external source trees within ours

Source trees currently placed in our source tree by ExternalProject build rules will soon be converted to Git submodules, so we should no longer ignore them.
mcx · May 31, 2016 · 6904209 · 6904209
1 parent 499cd6e
commit 6904209
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,9 +19,7 @@
 *.nav
 *~
 uname.err
-externals/*
 !externals/install_prereqs.sh
-drake/cmake
 drake/util/drake_config.mat
 drake/doc/derivations/elib.bib
 drake/.python

diff --git a/drake/doc/.gitignore b/drake/doc/.gitignore