commit | 3a95fb10dd999e5cf2bc3592a0acca480f019a13 | [log] [tgz] |
---|---|---|
author | Android Chromium Automerger <chromium-automerger@android> | Wed Oct 02 20:25:42 2013 +0000 |
committer | Android Chromium Automerger <chromium-automerger@android> | Wed Oct 02 20:25:42 2013 +0000 |
tree | 44aaf798322c7180171f3acec50d8fef0f21c1ff | |
parent | 987c8854475c00015780ab92cf7aa3e4ce7b2f84 [diff] | |
parent | 6e9099c9e28a9dc7b4083f4f9cbcbaef6a8e0031 [diff] |
Merge third_party/ots from https://chromium.googlesource.com/external/ots.git at 6e9099c9e28a9dc7b4083f4f9cbcbaef6a8e0031 This commit was generated by merge_from_chromium.py. Change-Id: I41f3cff0bc39a10029cf02bfed2a13175e52ceae