summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Culkin <bjculkin@sitri.goetia>2023-11-16 01:17:15 +0000
committerBenjamin Culkin <bjculkin@sitri.goetia>2023-11-16 01:17:15 +0000
commitada393e75c1b03b3b39b8c072350cc46b0cf6aa1 (patch)
treeab65977949ad220b0f32e1084ab09e4ecc293a6a
parent6a1d775adc39044cb07f4545018be15f873f884d (diff)
Minor tweak
-rw-r--r--pom.xml20
1 files changed, 0 insertions, 20 deletions
diff --git a/pom.xml b/pom.xml
index d71e0e0..1f45fec 100644
--- a/pom.xml
+++ b/pom.xml
@@ -28,26 +28,6 @@
<groupId>org.codehaus.mojo</groupId>
<artifactId>exec-maven-plugin</artifactId>
<version>1.5.0</version>
-
- <executions>
- <execution>
- <!-- Run ctags -->
- <id>source tagging</id>
- <phase>generate-sources</phase>
-
- <goals>
- <goal>exec</goal>
- </goals>
-
- <configuration>
- <executable>ctags</executable>
-
- <arguments>
- <argument>-R</argument>
- </arguments>
- </configuration>
- </execution>
- </executions>
</plugin>
</plugins>
<pluginManagement>