| commit | 11798bcc35ec49543fe71c4ff26f04ba3fd66782 | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Fri Jan 06 21:53:05 2017 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jan 06 21:53:06 2017 +0000 |
| tree | e1101bf6ce7e3fc147d28803e3d24100f42d6720 | |
| parent | d26267b8b9b6ad8e4726b76455077ea824ad2094 [diff] | |
| parent | bb59d4724978d633eca1fb7a30c3d0970c8d5e52 [diff] |
Merge "Make /dev/__properties__ 0711"