diff options
author | jkhsjdhjs | 2023-01-23 00:01:04 +0100 |
---|---|---|
committer | jkhsjdhjs | 2023-01-23 00:01:04 +0100 |
commit | 98e39bd18288eaf071a58cf4ed60b081b95b1317 (patch) | |
tree | 3c1349fb14b73edb5a6ff477f19317f4ad4f50b1 /skip-unneeded-builds.patch | |
parent | b6c9b58fc0797e24f37c098ae0ae973d2e5dc9b1 (diff) | |
download | aur-98e39bd18288eaf071a58cf4ed60b081b95b1317.tar.gz |
Update to v5.1.0.
Diffstat (limited to 'skip-unneeded-builds.patch')
-rw-r--r-- | skip-unneeded-builds.patch | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/skip-unneeded-builds.patch b/skip-unneeded-builds.patch index 19046827ee9b..d360e81a8447 100644 --- a/skip-unneeded-builds.patch +++ b/skip-unneeded-builds.patch @@ -1,14 +1,15 @@ diff --git a/other/pom.xml b/other/pom.xml -index 93e16c3a..87ba7c2f 100644 +index d0aa614c..87ba7c2f 100644 --- a/other/pom.xml +++ b/other/pom.xml -@@ -10,9 +10,7 @@ +@@ -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> |