From a502d96a860456ec5e8c96761db70f7cabb74751 Mon Sep 17 00:00:00 2001
From: Paul Martin <paul@paulsputer.com>
Date: Sat, 30 Apr 2016 04:19:14 -0400
Subject: [PATCH] Merge pull request #1073 from gitblit/1062-DocEditorUpdates
---
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