| commit | c0cff803cc5584a5dec661f2caa257785569bb24 | [log] [tgz] |
|---|---|---|
| author | Guillaume Nodet <gnodet@gmail.com> | Thu Feb 24 17:00:58 2022 +0100 |
| committer | Guillaume Nodet <gnodet@gmail.com> | Thu Feb 24 17:00:58 2022 +0100 |
| tree | 05322608e3ca7c6a5fe6c9ea7ad6db5156fdc361 | |
| parent | 111d2d0be608ccda642aeee7f7a98643d197a1dc [diff] |
Switch a few core plugins to the new api
diff --git a/content/apt/guides/development/guide-plugin-documentation.apt b/content/apt/guides/development/guide-plugin-documentation.apt index 31a3da0..6d0d54e 100644 --- a/content/apt/guides/development/guide-plugin-documentation.apt +++ b/content/apt/guides/development/guide-plugin-documentation.apt
@@ -192,7 +192,7 @@ extends AbstractWarMojo { public void execute() - throws MojoExecutionException, MojoFailureException + throws MojoExecutionException { [...] +--------------+