diff options
| author | Maxime Dénès | 2018-06-05 15:54:42 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-06-05 15:54:42 +0200 |
| commit | dd3becb98793cfc0a24abb27e902f2f948468c70 (patch) | |
| tree | a4e57395671dbfc1fe6a114a86576c86641ba0c7 /dev | |
| parent | 00a01f65be79bef8592928941646750968dbe648 (diff) | |
| parent | 62e1000f039e9ad3910c24d6c2c255a9f4e18e9c (diff) | |
Merge PR #7464: Make whitespace linter not check for trailing space.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions