diff options
author | Kristina Chodorow <kchodorow@google.com> | 2015-07-16 15:18:39 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2015-07-17 13:17:45 +0000 |
commit | 6009cf953643af157c395732e058e5af8657a833 (patch) | |
tree | 4f9d8e8bb37fb67f5978333f31cd655fae078058 /src/objc_tools | |
parent | 0e544ff8eba6a9576e80a8daf9461b40b837bf05 (diff) |
Invalidate external repository files when the WORKSPACE changes
Fixes #236.
--
MOS_MIGRATED_REVID=98402890
Diffstat (limited to 'src/objc_tools')
0 files changed, 0 insertions, 0 deletions