« Previous | Next » 

Revision 4d09d93c

ID4d09d93ce1f005138206b2985a37c49bcb5463c8
Parent 2fd1c362
Child b3699a1f

Added by Leonardo Maccari almost 2 years ago

introduces seed parameter (-s)

seed parameter sets the random generator seed

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences