Added a precision about the optional type checker.

This commit is contained in:
Cédric Bonhomme 2017-07-23 10:51:30 +02:00
parent 5322ae7839
commit 29e3dcfe75
No known key found for this signature in database
GPG key ID: A1CB94DE57B7A70D

View file

@ -98,6 +98,12 @@ Running the tests
$ python -m unittest discover -v
Running the static type checker:
.. code:: bash
$ python tools/run_mypy.py
Contact
-------