diff options
author | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-06 03:08:10 -0300 |
---|---|---|
committer | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-06 03:15:27 -0300 |
commit | 606f39cb00766e5be46b38e3c3034e702c3795e6 (patch) | |
tree | 83a85fbb43b8da3980ed44bd7848c491af3e70fc /test/test_rinha.ml | |
parent | db882cae080d3820f1723a711398c21db27f826a (diff) |
chore: rename app
Diffstat (limited to 'test/test_rinha.ml')
-rw-r--r-- | test/test_rinha.ml | 0 |
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 |