diff options
author | Thomas De Schampheleire <thomas.de_schampheleire@nokia.com> | 2017-04-19 22:00:01 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-04-20 22:33:56 +0200 |
commit | 7d04d88b780bef14ef642ae026c45323c0c16456 (patch) | |
tree | 48137dfc93e52f2711149ab05f3e76ac1a8e2697 /package/python-pyopenssl | |
parent | ef3392f2caa88ad5bd4beed8a2bd4b1c8d932abf (diff) | |
download | buildroot-7d04d88b780bef14ef642ae026c45323c0c16456.tar.gz buildroot-7d04d88b780bef14ef642ae026c45323c0c16456.zip |
xenomai: group skin selection in separate menu and cleanup
Clarify the Xenomai config options by grouping the skin-related options in a
separate menu.
Additionally:
- update proper capitalization of skin names
- sort entries
- replace 'skin library' by 'skin' to match the terminology in Xenomai
sources
Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'package/python-pyopenssl')
0 files changed, 0 insertions, 0 deletions