tree d8724eb7e679cdeb840e7698c3e5e9bf5fe4834d
parent 2adebc89dabff2ab5ddf776f365f4e08dfbf6706
author Gilles Peskine <Gilles.Peskine@arm.com> 1607643185 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1607643319 +0100

mypy: support mbedtls_dev.foo

Tell mypy to support packages without an __init__.py (PEP 420
namespace packages). Python 3.3 and (modern) Pylint support them out
of the box, but mypy needs to be told to support them.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>