Remove jenkins profile
authorgurkerl83 <markus_gritsch@gmx.de>
Sun, 6 Dec 2020 23:25:55 +0000 (00:25 +0100)
committerAndrew Gaul <andrew@gaul.org>
Fri, 19 Feb 2021 14:31:03 +0000 (23:31 +0900)
commitb0dacbac6635996bfbe12f8504cf46e438563b6a
tree0cf510f333f45979f85857513ee164d4a5eeb2fa
parentb7a8bd01f63754a51084c4595f8e509a7f710f81
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.
project/pom.xml