commit | 35ccd1ae03120b4f7c96540a65de58dbc79dadfa | [log] [tgz] |
---|---|---|
author | Android Chromium Automerger <chromium-automerger@android> | Mon Jun 10 17:31:39 2013 +0000 |
committer | Android Chromium Automerger <chromium-automerger@android> | Mon Jun 10 17:31:39 2013 +0000 |
tree | 9eaa819583cfdff5d28dfa6c6f75de80b0359393 | |
parent | 9e3e93e04752d9952fd520e0ddec6a5f135055c2 [diff] | |
parent | e595ce5916bd91dbc4ddd57fd772af51b1f40c50 [diff] |
Merge third_party/ots from https://chromium.googlesource.com/external/ots.git at e595ce5916bd91dbc4ddd57fd772af51b1f40c50 This commit was generated by merge_from_chromium.py. Change-Id: I5a5eab7d972c1c1f9784498886f759cddf52679c