« Previous | Next » 

Revision 7312b33d

ID7312b33d6fd69eebe2c9f87f3d88e4fc1321b0b1
Parent 9939547b
Child 50cb2e2a

Added by Iustin Pop over 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