diff --git a/docs/examples.html b/docs/examples.html index aab6d809e..b849b201b 100644 --- a/docs/examples.html +++ b/docs/examples.html @@ -12,26 +12,15 @@