commit | 877075b557228d370aa7b0c49211c95fb112fe1f | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Tue Feb 21 23:42:20 2017 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Feb 21 23:42:21 2017 +0000 |
tree | 876d6ff7ca7b465694ecdc290bc7d777a115458e | |
parent | 5076d453e7d88c358d56d5bd7b9c1fd0c9c4c694 [diff] | |
parent | 31927e48dddc1fdcada2f7568686134698250379 [diff] |
Merge "jni: Add platform-private convenience headers"