From 2df4f1b0e0448fdec6f2c0fd5ee7db41c64a8e8c Mon Sep 17 00:00:00 2001 From: Winston Li Date: Sat, 1 Nov 2014 16:42:00 +0000 Subject: [PATCH] Added JGit library and its JavaDocs. --- .../org_eclipse_jgit_3_5_1_201410131835_r.xml | 11 ++++ services/git-bridge/.idea/workspace.xml | 60 +++++++++++++----- ...ipse.jgit-3.5.1.201410131835-r-javadoc.jar | Bin 0 -> 4247769 bytes .../org.eclipse.jgit-3.5.1.201410131835-r.jar | Bin 0 -> 1931106 bytes services/git-bridge/src/uk/ac/ic/Main.java | 7 +- services/git-bridge/writelatex-git-bridge.iml | 1 + 6 files changed, 61 insertions(+), 18 deletions(-) create mode 100644 services/git-bridge/.idea/libraries/org_eclipse_jgit_3_5_1_201410131835_r.xml create mode 100644 services/git-bridge/libs/org.eclipse.jgit-3.5.1.201410131835-r-javadoc.jar create mode 100644 services/git-bridge/libs/org.eclipse.jgit-3.5.1.201410131835-r.jar diff --git a/services/git-bridge/.idea/libraries/org_eclipse_jgit_3_5_1_201410131835_r.xml b/services/git-bridge/.idea/libraries/org_eclipse_jgit_3_5_1_201410131835_r.xml new file mode 100644 index 0000000000..54412085e6 --- /dev/null +++ b/services/git-bridge/.idea/libraries/org_eclipse_jgit_3_5_1_201410131835_r.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/services/git-bridge/.idea/workspace.xml b/services/git-bridge/.idea/workspace.xml index bb5d53c9e0..60f504b760 100644 --- a/services/git-bridge/.idea/workspace.xml +++ b/services/git-bridge/.idea/workspace.xml @@ -3,6 +3,8 @@ + + @@ -25,11 +27,11 @@ - + - - + + @@ -55,11 +57,11 @@ - + - - + + @@ -78,6 +80,7 @@ @@ -149,6 +152,20 @@ + + + + @@ -310,6 +333,9 @@ + + + @@ -320,7 +346,7 @@ - + @@ -337,7 +363,7 @@ - + @@ -386,18 +412,18 @@ - + - - + + - + - - + + @@ -459,7 +485,6 @@ @@ -479,6 +504,7 @@ + org.eclipse.jgit-3.5.1.201410131835-r