diff options
| author | Arne Schwabe <arne@rfc2549.org> | 2016-09-06 10:49:55 +0200 |
|---|---|---|
| committer | Arne Schwabe <arne@rfc2549.org> | 2016-09-06 10:49:55 +0200 |
| commit | b3fcbc10f64cc3059eac8f2bc261a2204381655b (patch) | |
| tree | f016c255e34052d76896a0ee44f32ce88a29864e /.idea/copyright/profiles_settings.xml | |
| parent | e99d46c3599f8006ba561fc2579c61a3241e8229 (diff) | |
Also ignore "push" option in client config. For people with really broken configuration like in issue #546 *sigh*
Diffstat (limited to '.idea/copyright/profiles_settings.xml')
0 files changed, 0 insertions, 0 deletions