diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-11 07:18:33 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-11 07:18:33 -0600 |
| commit | 1bab337ed228403d29ca0a868c4251762fb9ddd7 (patch) | |
| tree | 9dfe2f5a3d574733ef4788332336f982f878d31d /nuttx/mm/Makefile | |
| parent | 465abbbbf23f4975bbadec85b3f9c924bab60a6e (diff) | |
| download | px4-nuttx-1bab337ed228403d29ca0a868c4251762fb9ddd7.tar.gz px4-nuttx-1bab337ed228403d29ca0a868c4251762fb9ddd7.tar.bz2 px4-nuttx-1bab337ed228403d29ca0a868c4251762fb9ddd7.zip | |
Kconfig choice value needs a prompt
Diffstat (limited to 'nuttx/mm/Makefile')
0 files changed, 0 insertions, 0 deletions