From 6605ec7a7a2b96de98a22a266226846f718b8e4a Mon Sep 17 00:00:00 2001
From: David Ostrovsky <david@ostrovsky.org>
Date: Tue, 17 Jun 2014 08:36:53 -0400
Subject: [PATCH] Update JGit version to 3.4.0.201406110918-r
---
src/main/java/com/gitblit/models/UserRepositoryPreferences.java | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/java/com/gitblit/models/UserRepositoryPreferences.java b/src/main/java/com/gitblit/models/UserRepositoryPreferences.java
index bc3a184..80b71f3 100644
--- a/src/main/java/com/gitblit/models/UserRepositoryPreferences.java
+++ b/src/main/java/com/gitblit/models/UserRepositoryPreferences.java
@@ -19,7 +19,7 @@
/**
* User repository preferences.
- *
+ *
* @author James Moger
*
*/
@@ -28,11 +28,11 @@
private static final long serialVersionUID = 1L;
public String username;
-
+
public String repositoryName;
-
+
public boolean starred;
-
+
@Override
public String toString() {
return username + ":" + repositoryName;
--
Gitblit v1.9.1