diff --git a/extra/findreplace.html b/extra/findreplace.html deleted file mode 100644 index e4af56e..0000000 --- a/extra/findreplace.html +++ /dev/null @@ -1,5 +0,0 @@ -