jdesiree commited on
Commit
8cddfd8
·
verified ·
1 Parent(s): a306094

Rename edubot_metrics.json to Mimir_metrics.json

Browse files
edubot_metrics.json → Mimir_metrics.json RENAMED
File without changes