diff options
Diffstat (limited to 'skip-unneeded-builds.patch')
-rw-r--r-- | skip-unneeded-builds.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/skip-unneeded-builds.patch b/skip-unneeded-builds.patch new file mode 100644 index 000000000000..d360e81a8447 --- /dev/null +++ b/skip-unneeded-builds.patch @@ -0,0 +1,15 @@ +diff --git a/other/pom.xml b/other/pom.xml +index d0aa614c..87ba7c2f 100644 +--- a/other/pom.xml ++++ b/other/pom.xml +@@ -10,10 +10,7 @@ + <packaging>pom</packaging> + + <modules> +- <module>mockserver</module> + <module>sockslib</module> +- <module>github-release-plugin</module> +- <module>discord-releaser</module> + </modules> + + <properties> |