diff --git a/inst/tools/1 b/inst/tools/1 deleted file mode 100644 index 8b13789..0000000 --- a/inst/tools/1 +++ /dev/null @@ -1 +0,0 @@ -