Jens Reimann 70cd294ddd Fix wrong artifact ID of maven plugin ... 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>		2017-02-06 15:39:39 +01:00
..
src/main	Fix wrong artifact ID of maven plugin	2017-02-06 15:39:39 +01:00
pom.xml	Updating to version 9.4.2-SNAPSHOT	2017-01-20 10:49:06 -06:00