diff options
| author | Bert Belder <bertbelder@gmail.com> | 2019-09-15 16:47:37 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-09-15 17:47:51 +0200 |
| commit | 456b75cbf9e6934a25fc77cce2afa3d33466b809 (patch) | |
| tree | 58154788763ea4afe765c4aaabde941ea07c89cf /tools/lint.py | |
| parent | e7d1da367150b03456b9e0f04b6ecd2ec13d51e0 (diff) | |
tools: add 'shell' parameter to 'run()' (#2950)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions