From 58ad1092fe78ca815063d218ca891b5e0e47e702 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Mon, 10 Nov 2014 22:30:17 -0500 Subject: [PATCH] Merged #220 "Improve the diff page" --- src/main/java/com/gitblit/manager/IUserManager.java | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/main/java/com/gitblit/manager/IUserManager.java b/src/main/java/com/gitblit/manager/IUserManager.java index 945d6a8..b7ea9c4 100644 --- a/src/main/java/com/gitblit/manager/IUserManager.java +++ b/src/main/java/com/gitblit/manager/IUserManager.java @@ -24,6 +24,7 @@ * * @param username * @return true if the specified username represents an internal account + * @since 1.4.0 */ boolean isInternalAccount(String username); -- Gitblit v1.9.1