mirror of
https://github.com/SAP/jenkins-library.git
synced 2025-01-18 05:18:24 +02:00
74193bd98d
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.