« Previous | Next » 

Revision 7312b33d

ID7312b33d6fd69eebe2c9f87f3d88e4fc1321b0b1

Added by Iustin Pop about 15 years ago

Sort the instance names in batcher

In case we submit multiple instances via batcher, it's nicer to have the
sorted nicely.

Reviewed-by: imsnah

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences