diff options
Diffstat (limited to 'plugins/infra/pom.xml')
| -rw-r--r-- | plugins/infra/pom.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/infra/pom.xml b/plugins/infra/pom.xml index c848be5880a..6cba2c35946 100644 --- a/plugins/infra/pom.xml +++ b/plugins/infra/pom.xml @@ -33,7 +33,6 @@ <module>ui</module> <module>misc</module> - <module>discovery</module> <module>internationalization</module> </modules> </project> |