delete redundant files [skip modfiles]

Giovanni Padovanorequested to merge
delete_files_dsid_gpadovan_545842 into master

Description of bug

Redundant set of files due to these two MRs: !3584 (merged) !3541 (merged)

Files of the second one have been removed.

Merge request reports