Bump pmd-designer from 7.2.0-SNAPSHOT to 7.2.0

This commit is contained in:
Andreas Dangel 2024-05-31 11:21:36 +02:00
parent d37769e71c
commit e27b30e0b5
No known key found for this signature in database
GPG Key ID: 93450DF2DF9A3FA3

View File

@ -117,7 +117,7 @@
<pmd.build-tools.version>25</pmd.build-tools.version>
<pmd-designer.version>7.2.0-SNAPSHOT</pmd-designer.version>
<pmd-designer.version>7.2.0</pmd-designer.version>
<javacc.jar>${settings.localRepository}/net/java/dev/javacc/javacc/${javacc.version}/javacc-${javacc.version}.jar</javacc.jar>
<javacc.outputDirectory>${project.build.directory}/generated-sources/javacc</javacc.outputDirectory>
<javacc.ant.wrapper>${project.basedir}/../javacc-wrapper.xml</javacc.ant.wrapper>