Changed: Delete old profiles shortcuts (in case where they are renamed)
--HG-- branch : developfeature/pipeline-tools
parent
d1575b9f58
commit
c348bbb3de
Loading…
Reference in New Issue