Resolve "Improve mines icons in parameters page"

Closes #18 (closed)

assigned to @benoit

added 1 commit

• 7a1a4ae4 - Improve mines icons in parameters page

Compare with previous version

marked this merge request as ready

enabled an automatic merge when the pipeline for 7a1a4ae4 succeeds

merged

mentioned in commit 90be1d5b