diff options
| author | Jeff Sharkey <jsharkey@android.com> | 2018-08-28 12:58:51 -0600 |
|---|---|---|
| committer | Jeff Sharkey <jsharkey@android.com> | 2018-08-28 12:59:34 -0600 |
| commit | e51a43ab9cfed55541a5f1bab3f4df08f1654419 (patch) | |
| tree | 546283c8536f0189e53cc40509e3b7380dd1e715 /annotations/generate_annotated_java_files.py | |
| parent | 7f4b1d0843f61f176052b84afc8a1dfb9eae7d7d (diff) | |
Android feels strongly about .rtx files.
android.media.MediaFile has long considered .rtx files as having the
MIME type audio/midi, so override that mapping.
Bug: 111268862, 112162449
Test: manual
Change-Id: I34554ae883e409f1fc554dc2da4e4127f508b86d
Diffstat (limited to 'annotations/generate_annotated_java_files.py')
0 files changed, 0 insertions, 0 deletions