mirror of
https://github.com/ankitects/anki.git
synced 2025-11-10 14:47:12 -05:00
5 lines
105 B
Bash
Executable file
5 lines
105 B
Bash
Executable file
#!/bin/bash
|
|
|
|
TOOLS="$(cd "`dirname "$0"`"; pwd)"
|
|
mypy $TOOLS/../anki $TOOLS/../aqt
|
|
pytype $TOOLS/../anki
|