« Previous | Next » 

Revision 633b36db

ID633b36dbc123e45b3b83a6a7f34436021e2992f1
Parent 4082e6f9
Child e7d81ba0

Added by Iustin Pop over 13 years ago

Always use the same short option for iallocator

This patch changes the scripts so that the short name for the
“--iallocator” option is always ‘-I’.

Reviewed-by: ultrotter

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences