diff options
| author | 2018-07-05 18:08:41 +0200 | |
|---|---|---|
| committer | 2018-07-05 18:08:41 +0200 | |
| commit | 2de2c1f32c0df34356545fe04ca6406337ddedc3 (patch) | |
| tree | 52c7d738666fc370c8027e3e9956d94e238df4d3 /executor.py | |
| parent | I should have made an MR for this (diff) | |
missing comma
Diffstat (limited to 'executor.py')
0 files changed, 0 insertions, 0 deletions