diff --git a/dev/dev.html b/dev/dev.html index 3a7d66fc6..434946c96 100644 --- a/dev/dev.html +++ b/dev/dev.html @@ -48,29 +48,16 @@