Spaces:
Running
Running
removing dead import
Browse files
app.py
CHANGED
|
@@ -8,7 +8,6 @@ from gradio_leaderboard import Leaderboard
|
|
| 8 |
from datetime import datetime
|
| 9 |
import os
|
| 10 |
|
| 11 |
-
from submit import submit_boundary
|
| 12 |
from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo
|
| 13 |
from utils import make_user_clickable, make_boundary_clickable
|
| 14 |
|
|
|
|
| 8 |
from datetime import datetime
|
| 9 |
import os
|
| 10 |
|
|
|
|
| 11 |
from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo
|
| 12 |
from utils import make_user_clickable, make_boundary_clickable
|
| 13 |
|