summaryrefslogtreecommitdiff
path: root/test/test_rinha.ml
diff options
context:
space:
mode:
authorMateus Cruz <mateuscolvr@gmail.com>2024-02-06 03:08:10 -0300
committerMateus Cruz <mateuscolvr@gmail.com>2024-02-06 03:15:27 -0300
commit606f39cb00766e5be46b38e3c3034e702c3795e6 (patch)
tree83a85fbb43b8da3980ed44bd7848c491af3e70fc /test/test_rinha.ml
parentdb882cae080d3820f1723a711398c21db27f826a (diff)
chore: rename app
Diffstat (limited to 'test/test_rinha.ml')
-rw-r--r--test/test_rinha.ml0
1 files changed, 0 insertions, 0 deletions
diff --git a/test/test_rinha.ml b/test/test_rinha.ml
deleted file mode 100644
index e69de29..0000000
--- a/test/test_rinha.ml
+++ /dev/null