Salome HOME
Remove distinction between batch managers ssh_batch and none
[modules/jobmanager.git] / ChangeLog