Skip to content

Commit 9ddb551

Browse files
committed
tools: Remove duplicate lister.py
1 parent 5ecc268 commit 9ddb551

File tree

2 files changed

+1
-132
lines changed

2 files changed

+1
-132
lines changed

tools/lister.py

Lines changed: 0 additions & 131 deletions
This file was deleted.

tools/run-mypy

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ import sys
88
import argparse
99
import subprocess
1010

11-
import lister
11+
from server_lib import lister
1212
from typing import cast, Dict, List
1313

1414
TOOLS_DIR = os.path.dirname(os.path.abspath(__file__))

0 commit comments

Comments
 (0)