tree 80696732f8c967c59f62e7d45973397bec77ae0d
parent 1271e5db25eda9ebf97d0cd8388a2b6b2f7efd1e
parent 999385ccc2056d58b63abb5169402f50e89cc13e
author Dave Allison <dallison@google.com> 1400627014 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1400627014 +0000

Merge "Use strtod to read a double rather than operator >>"