mirror of
https://github.com/ankitects/anki.git
synced 2025-09-18 14:02:21 -04: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
|