diff --git a/docs/ops.html b/docs/ops.html index 4414a0b86adcd..cf53415f04d3c 100644 --- a/docs/ops.html +++ b/docs/ops.html @@ -2956,26 +2956,6 @@