From 45e686d03daee074d96a91cfdf5d9a6811c3721f Mon Sep 17 00:00:00 2001 From: Brian Coca Date: Mon, 11 Jan 2016 11:28:23 -0500 Subject: [PATCH] another unused file --- docsite/_themes/srtd/searchbox.html | 76 ----------------------------- 1 file changed, 76 deletions(-) delete mode 100644 docsite/_themes/srtd/searchbox.html diff --git a/docsite/_themes/srtd/searchbox.html b/docsite/_themes/srtd/searchbox.html deleted file mode 100644 index b729e8cd64..0000000000 --- a/docsite/_themes/srtd/searchbox.html +++ /dev/null @@ -1,76 +0,0 @@ - - - - - - - - - \ No newline at end of file