diff options
| author | Emilio Jesus Gallego Arias | 2019-02-18 18:24:19 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-18 18:24:19 +0100 |
| commit | 1dbb4e77051324e229f7006161746030e5369565 (patch) | |
| tree | 85d80eae8d8fdf1ddb738acf953130922c1f8916 /plugins | |
| parent | e7d970b22512b31db96f9a06e5319b4af696d1b5 (diff) | |
| parent | 136b61ae70113922330de032f005b4acb50bc800 (diff) | |
Merge PR #9592: Fix per-commit linting with bot merges
Reviewed-by: ejgallego
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions