diff options
Diffstat (limited to 'arena/MojoBurrito.json')
-rw-r--r-- | arena/MojoBurrito.json | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/arena/MojoBurrito.json b/arena/MojoBurrito.json deleted file mode 100644 index b9c0ad780..000000000 --- a/arena/MojoBurrito.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - "github_repo_url": "https://github.com/dawnkelly09/MojoBurrito", - "timestamp": "2023-10-01T20:24:10.596062", - "commit_hash_to_benchmark": "de3e9e702a988c6028cc8b873aeffc9d5d82c572", - "branch_to_benchmark": "master" -}
\ No newline at end of file |