diff --git a/print.html b/print.html index de906c825..3d65e7615 100644 --- a/print.html +++ b/print.html @@ -7124,16 +7124,6 @@

Deputy Guardian Module Security Properties -
  • Deputy Guardian Safe - -
  • Security Council Liveness Checking Extensions