mirror of
https://github.com/SAP/jenkins-library.git
synced 2025-03-03 15:02:35 +02:00
Change name to how vast majority of current users is using it. Library alias can also be defined differently by users. Then `@Library` statement just needs to reflect the different name.