-
Amir MOHAMMADI authored
Resolve "jman fails when jobs are deleted before they are finished" Closes #26 See merge request bob/gridtk!20
122ef226
Resolve "jman fails when jobs are deleted before they are finished" Closes #26 See merge request bob/gridtk!20