From 366743493c5b8dbed6c44373d44a6a341b7dd8b4 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Sat, 4 May 2024 16:25:46 -0700
Subject: [PATCH] renamed leaderboards

---
 docs/{leaderboard.md => leaderboards/index.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/{leaderboard.md => leaderboards/index.md} (100%)

diff --git a/docs/leaderboard.md b/docs/leaderboards/index.md
similarity index 100%
rename from docs/leaderboard.md
rename to docs/leaderboards/index.md