cmdline: remove -i option
-i has been replaced by the "domain-number" config option.
Signed-off-by: Davide Ciminaghi <ciminaghi@gnudd.com>
Showing
Please
register
or
sign in
to comment
-i has been replaced by the "domain-number" config option.
Signed-off-by: Davide Ciminaghi <ciminaghi@gnudd.com>