From ada393e75c1b03b3b39b8c072350cc46b0cf6aa1 Mon Sep 17 00:00:00 2001
From: Benjamin Culkin <bjculkin@sitri.goetia>
Date: Thu, 16 Nov 2023 01:17:15 +0000
Subject: Minor tweak

---
 pom.xml | 20 --------------------
 1 file changed, 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>
-- 
cgit v1.2.3