Ignore sets when deleting a process dataset

closes #1701 (closed)

changed milestone to %Arkindex 1.5.4

requested review from @erouchet

assigned to @mlbonhomme

added 3 commits

• 61934261...44ae17cf - 2 commits from branch master
• 8b9594c4 - Ignore sets when deleting a process dataset

Compare with previous version

merged