anki/tools/typecheck.sh
2019-12-16 08:17:28 +10:00

5 lines
69 B
Bash
Executable File

#!/bin/bash
TOOLS="$(cd "`dirname "$0"`"; pwd)"
mypy $TOOLS/../anki