Merge pull request #45 from google/source-string-name
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 31 Jul 2015 23:38:27 +0000 (17:38 -0600)
committerJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 31 Jul 2015 23:38:27 +0000 (17:38 -0600)
commit1363fcd60bce65b1dfe88c8ef00269a66e9c8aec
tree1bb08154e0501872794c023b3892e4f35564762b
parentb9e5424792e2224b435a2878cd6fb95ac0eb7fc4
parent1719fb207ac11df4ac02b379dabe811596828bed
Merge pull request #45 from google/source-string-name

Add mechanism for specifying names for source strings.