Issue #4562 remove deprecated jetty-runner (#4563)

Signed-off-by: olivier lamy <oliver.lamy@gmail.com>
jetty · Feb 13, 2020 · ebed3e5 · ebed3e5
1 parent 3c9c506
commit ebed3e5
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 1,235 deletions.
diff --git a/jetty-documentation/src/main/asciidoc/distribution-guide/index.adoc b/jetty-documentation/src/main/asciidoc/distribution-guide/index.adoc
@@ -74,5 +74,4 @@ include::jndi/chapter.adoc[]
 include::alpn/chapter.adoc[]
 include::fastcgi/chapter.adoc[]
 include::extras/chapter.adoc[]
-include::runner/chapter.adoc[]
 include::tuning/chapter.adoc[]
diff --git a/jetty-documentation/src/main/asciidoc/distribution-guide/runner/chapter.adoc b/jetty-documentation/src/main/asciidoc/distribution-guide/runner/chapter.adoc
diff --git a/jetty-documentation/src/main/asciidoc/distribution-guide/runner/jetty-runner.adoc b/jetty-documentation/src/main/asciidoc/distribution-guide/runner/jetty-runner.adoc