tree 5d21e9b7201855f10c2dcc902d460b95d63daa13
parent fa63e30605ff723cfef493540553dabdf0440339
parent 374e114d1691a47918a3972dc287615f25650725
author Ying Wang <wangying@android.com> 1403197639 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1403128073 +0000

Merge "Document the worker_threads option."