diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2017-02-15 11:25:22 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2017-02-15 14:46:52 +0000 |
commit | 1aa0b96b8b57ca63a42bbe86657c0b9f23fee065 (patch) | |
tree | 79c64031296e7bc6e13d3b92ca643f293ebc2337 /src/main/java/com/google/devtools/build/lib/profiler/MetricData.java | |
parent | 6a6fb3ac7727a34b0d8791382ed23e7c510ff3a7 (diff) |
Set status of design doc on repository invalidation to implemented.
--
Change-Id: I026cde47338a2adbe3907e22192ec4b490ad8fea
Reviewed-on: https://cr.bazel.build/8221
PiperOrigin-RevId: 147579412
MOS_MIGRATED_REVID=147579412
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/profiler/MetricData.java')
0 files changed, 0 insertions, 0 deletions