diff --git a/doc/web/removeMaven.re b/doc/web/removeMaven.re index 3fdf3b2..c5e7e96 100644 --- a/doc/web/removeMaven.re +++ b/doc/web/removeMaven.re @@ -4,3 +4,4 @@ s@\@\