From d98a30ee4828eff9b1b8c28ca917322b502ac08c Mon Sep 17 00:00:00 2001 From: zeapo Date: Thu, 4 Dec 2014 21:43:27 +0100 Subject: Add the possibility to edit git server information Also uses jgit 3.6 --- app/src/main/res/layout/activity_git_clone.xml | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'app/src/main/res/layout/activity_git_clone.xml') diff --git a/app/src/main/res/layout/activity_git_clone.xml b/app/src/main/res/layout/activity_git_clone.xml index f26d6f8d..de3f0b0e 100644 --- a/app/src/main/res/layout/activity_git_clone.xml +++ b/app/src/main/res/layout/activity_git_clone.xml @@ -205,6 +205,12 @@ android:layout_width="match_parent" android:layout_height="wrap_content" android:onClick="cloneRepository"/> +