-
Kristina Chodorow authored
See http://stackoverflow.com/questions/25715898/whats-the-difference-between-git-ignoring-directory-and-directory. tools and third_party are symlinks, not directories. -- MOS_MIGRATED_REVID=88938443
f072d77f
See http://stackoverflow.com/questions/25715898/whats-the-difference-between-git-ignoring-directory-and-directory. tools and third_party are symlinks, not directories. -- MOS_MIGRATED_REVID=88938443