diff options
| author | Sergio Giro <sgiro@google.com> | 2016-08-31 13:51:37 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2016-08-31 13:51:37 +0000 |
| commit | d0684b57aec5f8184fff1512734143e0f2e6993a (patch) | |
| tree | 2c481ccc201ab50e0b51b6cfd71f2c176ee42920 /annotations/generate_annotated_java_files.py | |
| parent | 3d2aa487309b32ec058d608de038d5fb43c3b814 (diff) | |
| parent | e8dfeb4267597dec922f0e94790643e3dca8a195 (diff) | |
Merge "java.security.Principal: add default method Principal#implies"
Diffstat (limited to 'annotations/generate_annotated_java_files.py')
0 files changed, 0 insertions, 0 deletions