From 0ffbb5cb2cceed3fcff771e75eef69da0b3283c5 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 15 Sep 2022 16:54:27 +0200 Subject: [PATCH] ignore stats --- .gitignore | 3 +- repl/stats.html | 4034 ----------------------------------------------- 2 files changed, 2 insertions(+), 4035 deletions(-) delete mode 100644 repl/stats.html diff --git a/.gitignore b/.gitignore index 43684564..c390b0e5 100644 --- a/.gitignore +++ b/.gitignore @@ -35,4 +35,5 @@ tutorial.rendered.mdx doc.json talk/public/EmuSP12 talk/public/samples -server/samples/old \ No newline at end of file +server/samples/old +repl/stats.html \ No newline at end of file diff --git a/repl/stats.html b/repl/stats.html deleted file mode 100644 index 920505b6..00000000 --- a/repl/stats.html +++ /dev/null @@ -1,4034 +0,0 @@ - - - - - - - - RollUp Visualizer - - - -
- - - - -