From fa77fba37cf2823195a6e40ab0ba0f8bb741d634 Mon Sep 17 00:00:00 2001 From: Aldo Cortesi Date: Thu, 1 Jan 2015 15:39:24 +1300 Subject: Remove unused files --- web/src/benchmark.html | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 web/src/benchmark.html (limited to 'web/src/benchmark.html') diff --git a/web/src/benchmark.html b/web/src/benchmark.html deleted file mode 100644 index 56b7f362..00000000 --- a/web/src/benchmark.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - Benchmarks - - - - - - - - - - - - - \ No newline at end of file -- cgit v1.2.3