diff --git "a/dist/assets/data/fragments/benchmarks_interactive.html" "b/dist/assets/data/fragments/benchmarks_interactive.html" deleted file mode 100644--- "a/dist/assets/data/fragments/benchmarks_interactive.html" +++ /dev/null @@ -1 +0,0 @@ -
\ No newline at end of file