diff --git a/tests/playgrounds/shared_procedures.html b/tests/playgrounds/shared_procedures.html deleted file mode 100644 index d43ebb53e..000000000 --- a/tests/playgrounds/shared_procedures.html +++ /dev/null @@ -1,178 +0,0 @@ - - -