diff --git a/docs/workshop.html b/docs/workshop.html index 4ccae8c2..76fc6cfa 100644 --- a/docs/workshop.html +++ b/docs/workshop.html @@ -1,7 +1,6 @@