diff --git a/doc/web/removeMaven.re b/doc/web/removeMaven.re index 7bfa3fe..3b07c29 100644 --- a/doc/web/removeMaven.re +++ b/doc/web/removeMaven.re @@ -1,5 +1,5 @@ s@\@@ig; s@\\@
@ig; -s@\