| changeset 3570 | 44b0bc6817c6 |
| parent 3498 | ce35418645e9 |
| child 3581 | 048d80fcffde |
| 3567:728eb3f583b3 | 3570:44b0bc6817c6 |
|---|---|
26 'routing/global-routing', |
26 'routing/global-routing', |
27 'mobility', |
27 'mobility', |
28 'devices/wifi', |
28 'devices/wifi', |
29 'helper', |
29 'helper', |
30 'devices/bridge', |
30 'devices/bridge', |
31 'contrib/stats', |
|
31 ) |
32 ) |
32 |
33 |
33 def set_options(opt): |
34 def set_options(opt): |
34 opt.sub_options('simulator') |
35 opt.sub_options('simulator') |
35 |
36 |