diff options
author | Mike Lockwood <lockwood@google.com> | 2015-03-28 16:00:19 +0000 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2015-03-28 16:00:21 +0000 |
commit | 549a8cb66dff1ba3088a8dd15200dd02527510e8 (patch) | |
tree | 385ee4e1e659483587912d5acaa59b903f2b9e55 /rs/java/android/renderscript/Script.java | |
parent | 822b403b687065e74efe2c5316638d4e2eda1863 (diff) | |
parent | 5781cd5b218dc3e5a19d8f69e6fb9f310bed4df6 (diff) |
Merge "Make the MIDI Manager optional, enabled by "android.software.midi" feature"
Diffstat (limited to 'rs/java/android/renderscript/Script.java')
0 files changed, 0 insertions, 0 deletions