diff options
author | 2018-02-21 14:54:30 -0800 | |
---|---|---|
committer | 2018-02-21 14:56:31 -0800 | |
commit | ae24bfef708540b0e34744f98528d8e485052714 (patch) | |
tree | 1ca46ca9318cb0321a03d761a0039e9e9277b435 /src/test/java/com/google/devtools/build | |
parent | 39ecf8bb27d10943204f6d2ebca800526be15d5b (diff) |
Add basic equality checking for ErrorInfo and tighten the interface for ErrorInfoManager.
PiperOrigin-RevId: 186524034
Diffstat (limited to 'src/test/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions