mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fix python community plugin build due to duplicate icon-robots.txt files
This commit is contained in:
@@ -127,6 +127,7 @@ target('default': "Build Python Plugin") {
|
||||
exclude(name: "**/plugin.xml")
|
||||
exclude(name: "**/python-community-configure-ide.xml")
|
||||
exclude(name: "**/python-plugin-dependencies.xml")
|
||||
exclude(name: "**/icon-robots.txt")
|
||||
}
|
||||
}
|
||||
dir("META-INF") {
|
||||
|
||||
Reference in New Issue
Block a user