diff options
| author | Mike Lockwood <lockwood@google.com> | 2015-03-27 13:23:41 -0700 |
|---|---|---|
| committer | Mike Lockwood <lockwood@google.com> | 2015-03-27 13:23:41 -0700 |
| commit | 5781cd5b218dc3e5a19d8f69e6fb9f310bed4df6 (patch) | |
| tree | 7c74f6c49adbe1da5d4b580bbdd69561116f76b9 /rs/java/android/renderscript/Script.java | |
| parent | 1e650e26a7bb2f02635530a46ecd715f9911d40e (diff) | |
Make the MIDI Manager optional, enabled by "android.software.midi" feature
Change-Id: I76d442ea28beea4b9e2876bfef501d8f61403702
Diffstat (limited to 'rs/java/android/renderscript/Script.java')
0 files changed, 0 insertions, 0 deletions