From fad6b4a3d5f9a7fe7f7bced14e591478cf959bb3 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Sat, 12 Apr 2014 13:39:05 -0400
Subject: [PATCH] Eliminate plugin name, stick with id and description
---
src/main/java/com/gitblit/manager/IRuntimeManager.java | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/main/java/com/gitblit/manager/IRuntimeManager.java b/src/main/java/com/gitblit/manager/IRuntimeManager.java
index 178b93c..94ce380 100644
--- a/src/main/java/com/gitblit/manager/IRuntimeManager.java
+++ b/src/main/java/com/gitblit/manager/IRuntimeManager.java
@@ -24,7 +24,7 @@
import com.gitblit.models.ServerSettings;
import com.gitblit.models.ServerStatus;
-public interface IRuntimeManager {
+public interface IRuntimeManager extends IManager {
void setBaseFolder(File folder);
--
Gitblit v1.9.1