mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +01:00
17 lines
327 B
Plaintext
17 lines
327 B
Plaintext
|
root = group-toplevel
|
||
|
|
|
||
|
|
group-toplevel = group .within { "groups" => any }
|
||
|
|
group-nested = group .within { "title" => tstr, any => any }
|
||
|
|
|
||
|
|
group = {
|
||
|
|
? "title" => tstr,
|
||
|
|
? "help" => tstr,
|
||
|
|
? "features" => [ + feature ],
|
||
|
|
? "groups" => [ + group-nested ],
|
||
|
|
}
|
||
|
|
|
||
|
|
feature = {
|
||
|
|
"name" => tstr,
|
||
|
|
? "help" => tstr,
|
||
|
|
}
|