diff options
| author | fanquake <fanquake@gmail.com> | 2020-11-22 11:32:55 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-12-28 14:25:06 +0800 |
| commit | 1ef2138c0db3bd4f9332c777fa3fb2770dc1b08c (patch) | |
| tree | 3faeca0a36f00c9aa46afe4c7e4495d1955ba576 /doc/.gitignore | |
| parent | 4a8f4ac4fc07c59a0bfdbb7c15a50cf5b4364312 (diff) | |
lint: run mypy over contrib/devtools
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions