diff options
| author | jvoisin | 2018-05-01 00:01:18 +0200 |
|---|---|---|
| committer | jvoisin | 2018-05-01 00:11:16 +0200 |
| commit | 459e9b82f76d9aa5c93c288d2ce7b8be34c601b4 (patch) | |
| tree | 7ae62c5cf676b5af22b526e5a1f237449d70b326 /src | |
| parent | c4271715e49bb90d9420a8394e250bc8bcabdbcb (diff) | |
Add linting to the CI
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions