diff options
| -rw-r--r-- | package/Config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package/Config.in b/package/Config.in index e1dfd5d4fa..1dd60d199c 100644 --- a/package/Config.in +++ b/package/Config.in @@ -910,8 +910,8 @@ endif endmenu menu "Real-Time" -source "package/xenomai/Config.in" source "package/rtai/Config.in" +source "package/xenomai/Config.in" endmenu menu "Shell and utilities" |
