Remove not used extension registry plugins

Why: * want to improve Extension metadata and old registry plugins makes that harder. This change addreses the need by: * remove the extension plugin. * next step after is to remove the old registry platform but that is currently being used.
quarkusio · Oct 23, 2019 · e81f3f6 · e81f3f6
1 parent 9467e13
commit e81f3f6
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 663 deletions.
diff --git a/devtools/extension-plugin/pom.xml b/devtools/extension-plugin/pom.xml
diff --git a/devtools/extension-plugin/src/it/settings.xml b/devtools/extension-plugin/src/it/settings.xml
diff --git a/devtools/extension-plugin/src/main/java/io/quarkus/maven/AbstractExtensionMojo.java b/devtools/extension-plugin/src/main/java/io/quarkus/maven/AbstractExtensionMojo.java
diff --git a/devtools/extension-plugin/src/main/java/io/quarkus/maven/ExtensionRegistry.java b/devtools/extension-plugin/src/main/java/io/quarkus/maven/ExtensionRegistry.java