| commit | 5781cd5b218dc3e5a19d8f69e6fb9f310bed4df6 | [log] [tgz] |
|---|---|---|
| author | Mike Lockwood <lockwood@google.com> | Fri Mar 27 13:23:41 2015 -0700 |
| committer | Mike Lockwood <lockwood@google.com> | Fri Mar 27 13:23:41 2015 -0700 |
| tree | 7c74f6c49adbe1da5d4b580bbdd69561116f76b9 | |
| parent | 1e650e26a7bb2f02635530a46ecd715f9911d40e [diff] |
Make the MIDI Manager optional, enabled by "android.software.midi" feature Change-Id: I76d442ea28beea4b9e2876bfef501d8f61403702