visus
/
dds
Segui 1
Vota 0
Forka 0
Codice Problemi 0 Pull Requests 0 Rilasci 0 Wiki Attività
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
773 Commit
6 Rami (Branch)
Ramo (Branch): gnu_extensions
Rami (Branch) Tag
${ item.name }
Crea branch ${ searchTerm }
da 'gnu_extensions'
${ noResults }
dds/mypy.ini

6 lines
100B
Originale Permalink Blame Cronologia 

  1. [mypy]

  2. strict=True

  3. ignore_missing_imports=True

  4. incremental=True

  5. sqlite_cache=True

  6. mypy_path = tools/