Resolve "Add download of resource file list"

Closes #114 (closed)

added Resource enhancement labels

assigned to @daniel.goebel

added 1 commit

• c5d3d616 - Add button to download a file list of a resource

Compare with previous version

marked this merge request as ready

enabled an automatic merge when the pipeline for c5d3d616 succeeds

merged

mentioned in commit d5a7c3c1