Minimal inherited config?

runtimeverification · Dec 12, 2023 · 466c3ba · 466c3ba
1 parent 58f535a
commit 466c3ba
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/matching/pom.xml b/matching/pom.xml
@@ -128,23 +128,11 @@
       <plugin>
         <groupId>com.diffplug.spotless</groupId>
         <artifactId>spotless-maven-plugin</artifactId>
-        <version>${spotless.version}</version>
-        <inherited>false</inherited>
-        <executions>
-          <execution>
-            <goals>
-              <goal>apply</goal>
-            </goals>
-            <phase>process-sources</phase>
-          </execution>
-        </executions>
         <configuration>
           <scala>
             <includes>**/*.scala,**/*.sbt</includes>
             <scalafmt>
-              <version>${scalafmt.version}</version>
               <file>.scalafmt.conf</file>
-              <scalaMajorVersion>${scala.majorVersion}</scalaMajorVersion>
             </scalafmt>
           </scala>
         </configuration>