Remove unneeded patch
This commit is contained in:
parent
416c5289ba
commit
0bb61b2d7e
@ -1,46 +0,0 @@
|
|||||||
diff --git a/configs/configuration-20-rpmbuild-raw.xml b/configs/configuration-20-rpmbuild-raw.xml
|
|
||||||
index 472b55b..eb99908 100644
|
|
||||||
--- a/configs/configuration-20-rpmbuild-raw.xml
|
|
||||||
+++ b/configs/configuration-20-rpmbuild-raw.xml
|
|
||||||
@@ -30,6 +30,9 @@
|
|
||||||
<stereotypes>
|
|
||||||
<stereotype>
|
|
||||||
<extension>jar</extension>
|
|
||||||
+ <stereotype>
|
|
||||||
+ </stereotype>
|
|
||||||
+ <extension>zip</extension>
|
|
||||||
</stereotype>
|
|
||||||
</stereotypes>
|
|
||||||
</repository>
|
|
||||||
diff --git a/configs/configuration-20-rpmbuild.xml b/configs/configuration-20-rpmbuild.xml
|
|
||||||
index c6b91bd..5ecb4ba 100644
|
|
||||||
--- a/configs/configuration-20-rpmbuild.xml
|
|
||||||
+++ b/configs/configuration-20-rpmbuild.xml
|
|
||||||
@@ -43,6 +43,9 @@
|
|
||||||
<stereotype>
|
|
||||||
<extension>jar</extension>
|
|
||||||
</stereotype>
|
|
||||||
+ <stereotype>
|
|
||||||
+ <extension>zip</extension>
|
|
||||||
+ </stereotype>
|
|
||||||
</stereotypes>
|
|
||||||
</repository>
|
|
||||||
<repository>
|
|
||||||
diff --git a/configs/configuration-20.xml b/configs/configuration-20.xml
|
|
||||||
index 883d6b1..1186b46 100644
|
|
||||||
--- a/configs/configuration-20.xml
|
|
||||||
+++ b/configs/configuration-20.xml
|
|
||||||
@@ -76,6 +76,13 @@
|
|
||||||
<stereotype>
|
|
||||||
<extension>jar</extension>
|
|
||||||
</stereotype>
|
|
||||||
+ <!-- Maybe /usr/share/java is not the best place to store
|
|
||||||
+ ZIP files, but packages are doing so anyways and
|
|
||||||
+ allowing ZIPs here simplifies packaging. TODO: find a
|
|
||||||
+ better location for ZIP files. -->
|
|
||||||
+ <stereotype>
|
|
||||||
+ <extension>zip</extension>
|
|
||||||
+ </stereotype>
|
|
||||||
</stereotypes>
|
|
||||||
</repository>
|
|
||||||
<repository>
|
|
Loading…
Reference in New Issue
Block a user