simonduerr commited on
Commit
14fdc52
·
verified ·
1 Parent(s): 3fc084b

Rename leaderboard_data.json to leaderboard_pinder.json

Browse files
leaderboard_data.json → leaderboard_pinder.json RENAMED
File without changes