diff options
author | Thomas De Schampheleire <thomas.de_schampheleire@nokia.com> | 2019-01-08 21:38:54 +0100 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2019-01-08 22:40:57 +0100 |
commit | 89964814cbbb9aeb12b935da6c3268cff5a2a80d (patch) | |
tree | 12095f4e73f9e847ab3d6fcedda563954700d36d /DEVELOPERS | |
parent | 4219c58c386fdd351eb75185fa851addd63a75ed (diff) | |
download | buildroot-89964814cbbb9aeb12b935da6c3268cff5a2a80d.tar.gz buildroot-89964814cbbb9aeb12b935da6c3268cff5a2a80d.zip |
DEVELOPERS: add Thomas De Schampheleire for xenomai
Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'DEVELOPERS')
-rw-r--r-- | DEVELOPERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DEVELOPERS b/DEVELOPERS index e561739fab..3b3923ae4f 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -2076,6 +2076,7 @@ F: package/perl-net-snmp/ F: package/perl-net-ssh2/ F: package/perl-net-telnet/ F: package/pigz/ +F: package/xenomai/ F: support/scripts/size-stats F: utils/size-stats-compare F: toolchain/ |