diff --git a/docs/antnews.html b/docs/antnews.html index a0c7d943b..3cebe108c 100644 --- a/docs/antnews.html +++ b/docs/antnews.html @@ -81,12 +81,7 @@