fix: Filter resources to replace version placeholder (#5401)

Co-authored-by: Martin Wittlinger <wittlinger.martin@gmail.com>
INRIA · Aug 28, 2023 · e623d6f · e623d6f
1 parent 3dcff6a
commit e623d6f
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -276,7 +276,12 @@
  </classpathDependencyExcludes>
  </configuration>
  </plugin>
-
  </plugins>
+ <resources>
+ <resource>
+ <directory>src/main/resources</directory>
+ <filtering>true</filtering>
+ </resource>
+ </resources>
  </build>
 </project>