mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 16:35:03 +00:00
This change fixes a location in the documentation where the artifact ID of the plugin was still `maven-jetty-plugin`, where it should be `jetty-maven-plugin`. Signed-off-by: Jens Reimann <jreimann@redhat.com>