diff options
| author | knuthy <knuthy@gmail.com> | 2014-08-10 17:03:23 +0100 |
|---|---|---|
| committer | knuthy <knuthy@gmail.com> | 2014-08-10 17:03:23 +0100 |
| commit | c3c3acda2c5dd71a9c39f22a2053449e75467457 (patch) | |
| tree | 0985b4acc59ebefb56bb350ef7b06e257d449e32 /.idea/copyright/profiles_settings.xml | |
| parent | cd28c358a418473fad3f4208222ce992bc98981f (diff) | |
verify that the server information is set before pulling/pushing
Diffstat (limited to '.idea/copyright/profiles_settings.xml')
0 files changed, 0 insertions, 0 deletions