tree 9bd28adbf6821a4359e8f212eb7c9fb079934c94
parent 9be46233bbec8950893563dfe8bf12934ffffd0a
author Todd Volkert <tvolkert@google.com> 1485377852 -0800
committer Todd Volkert <tvolkert@google.com> 1485377852 -0800

Add const constructors for Platform and LocalPlatform