diff options
| author | Felix Bechstein <f@ub0r.de> | 2017-08-02 11:15:31 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <zeapo@users.noreply.github.com> | 2017-08-02 10:15:31 +0100 |
| commit | e169235d961d93105f210d0c3c4dc29a21008c68 (patch) | |
| tree | 1f684e80351d7b47662675485faef295ec6a281b /.idea/scopes/scope_settings.xml | |
| parent | 37329a67f7f1fb009daeffa4844245be6f370ae0 (diff) | |
Fix more lint (#325)
* fix/ignore lint errors, run lint on travis
* fix/ignore some lint warnings
Diffstat (limited to '.idea/scopes/scope_settings.xml')
0 files changed, 0 insertions, 0 deletions