« Previous | Next » 

Revision 0bb5fe5c

ID0bb5fe5c25dad51ff93fe18a0ac0a49d1d60fa2c
Parent 0725f330
Child ddf71371

Added by Ruben S. Montero about 8 years ago

better defaults for the scheduler

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences