| commit | 04ea30f21ad100ddccaf20a609b95588d42a1b18 | [log] [tgz] |
|---|---|---|
| author | Tom Cherry <tomcherry@google.com> | Wed Jan 17 21:01:33 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jan 17 21:01:33 2018 +0000 |
| tree | ef82c7b964787dfc91b13b527c846099c21df75a | |
| parent | 24e2bfb7ecb9737d81e931d7f3786b7f84b77029 [diff] | |
| parent | 9954c6f3416393157558189ebeb46e4040fac8a6 [diff] |
Merge "Introduce property types"