tree 0cf510f333f45979f85857513ee164d4a5eeb2fa
parent b7a8bd01f63754a51084c4595f8e509a7f710f81
author gurkerl83 <markus_gritsch@gmx.de> 1607297155 +0100
committer Andrew Gaul <andrew@gaul.org> 1613745063 +0900

Remove jenkins profile

According to the Jenkins configuration, only the maven profiles src and doc are necessary to execute in the build process. This commit removes the dedicated jenkins profile.