-
Benoit Perrot authored
--argument-registers * src/inst-tasks.hh: Rename `args' option to `--argument-registers'. Suggested by Akim Demaille.
b45ed049
--argument-registers * src/inst-tasks.hh: Rename `args' option to `--argument-registers'. Suggested by Akim Demaille.