commit | ad233ec00ccdfd1961c52210451997afc077a6e0 | [log] [tgz] |
---|---|---|
author | Android Chromium Automerger <chromium-automerger@android> | Tue Dec 17 14:50:06 2013 +0000 |
committer | Android Chromium Automerger <chromium-automerger@android> | Tue Dec 17 14:50:06 2013 +0000 |
tree | a489f5be044610e19d15de04ee388cac5f270f26 | |
parent | 5ef4cfe6c104b2198b46afea2d88538e2b1c15e7 [diff] | |
parent | b613a30b0b86e1d4ea40a83b678fbe48edac8515 [diff] |
Merge third_party/ots from https://chromium.googlesource.com/external/ots.git at b613a30b0b86e1d4ea40a83b678fbe48edac8515 This commit was generated by merge_from_chromium.py. Change-Id: I0672f3e0aa945c9ab995a3e40f64b1a14223a3a3