diff --git a/README22.MD b/README22.MD new file mode 100644 index 00000000..8b137891 --- /dev/null +++ b/README22.MD @@ -0,0 +1 @@ + diff --git a/jenkins/Jenkinsfile-CI b/jenkins/Jenkinsfile-CI index 583c905d..809a5956 100644 --- a/jenkins/Jenkinsfile-CI +++ b/jenkins/Jenkinsfile-CI @@ -1,4 +1,4 @@ -pipeline { +pipeline { agent any stages { stage('compile') { diff --git a/src/main/pmd/pmd.xsl b/src/main/pmd/pmd.xsl index 33eee081..8661ab85 100644 --- a/src/main/pmd/pmd.xsl +++ b/src/main/pmd/pmd.xsl @@ -3,7 +3,7 @@ doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" /> - +