diff --git a/db/#inserts.ml# b/db/#inserts.ml# deleted file mode 100644 index 8b13789..0000000 --- a/db/#inserts.ml# +++ /dev/null @@ -1 +0,0 @@ -