diff options
| author | 2020-04-01 13:14:21 +0000 | |
|---|---|---|
| committer | 2020-04-01 13:14:21 +0000 | |
| commit | f26b9c8c334d300e466ed478acb74fadbaae8902 (patch) | |
| tree | d1be2eb53faaa667142a779c67294afc7be306bf /tools/warn/java_warn_patterns.py | |
| parent | a3541df2910cd61334cfe35d85aef4a66d53e85e (diff) | |
| parent | bb9699c2e10e707a2585b33271f83db8bced2d04 (diff) | |
Merge "Make init.userspace_reboot.is_supported a rw property"
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions