diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2017-01-16 20:53:23 +0100 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2017-01-16 20:53:23 +0100 |
| commit | d0ca59600660eba9146a147881dc6e6dda9844a1 (patch) | |
| tree | 174581ebf89cfbf35f4d7adecbe6838d8ba83f66 /app/src/main/res/xml/preference.xml | |
| parent | b6f5421d674cea5f5a479080bbd9c4857712764d (diff) | |
fix the case where we're unable to clone if we specify the port 22
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
0 files changed, 0 insertions, 0 deletions