]> source.dussan.org Git - jgit.git/commitdiff
Removed unused repo field in WorkDirCheckout 46/846/1
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 13 Jun 2010 01:12:41 +0000 (03:12 +0200)
committerRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 13 Jun 2010 01:12:41 +0000 (03:12 +0200)
Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
org.eclipse.jgit/src/org/eclipse/jgit/lib/WorkDirCheckout.java

index ee782028689f2ab9e747962a22114f011edc4bb8..cead0f2b443be15573d78f3874a94a0d8e11b368 100644 (file)
@@ -64,8 +64,6 @@ import org.eclipse.jgit.lib.GitIndex.Entry;
  * Three-way merges are no performed. See {@link #setFailOnConflict(boolean)}.
  */
 public class WorkDirCheckout {
-       Repository repo;
-
        File root;
 
        GitIndex index;
@@ -87,7 +85,6 @@ public class WorkDirCheckout {
 
        WorkDirCheckout(Repository repo, File workDir,
                        GitIndex oldIndex, GitIndex newIndex) throws IOException {
-               this.repo = repo;
                this.root = workDir;
                this.index = oldIndex;
                this.merge = repo.mapTree(newIndex.writeTree());
@@ -103,7 +100,6 @@ public class WorkDirCheckout {
         */
        public WorkDirCheckout(Repository repo, File root,
                        GitIndex index, Tree merge) {
-               this.repo = repo;
                this.root = root;
                this.index = index;
                this.merge = merge;