« Previous | Next » 

Revision 919ca415

ID919ca4154c913d5d2e80c8f961c4395a0056be2e

Added by Iustin Pop about 12 years ago

Extend JobExecutor to allow custom feedback_fn

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences