From 5e43f65d95b7e68a7ed90fe17be4594f4d974f4e Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Sun, 25 Mar 2012 20:31:19 -0400
Subject: [PATCH] Do not include servlet jar in WAR build
---
src/com/gitblit/models/ServerSettings.java | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/com/gitblit/models/ServerSettings.java b/src/com/gitblit/models/ServerSettings.java
index 3aae2e3..72a7f00 100644
--- a/src/com/gitblit/models/ServerSettings.java
+++ b/src/com/gitblit/models/ServerSettings.java
@@ -35,6 +35,8 @@
private static final long serialVersionUID = 1L;
+ public List<String> pushScripts;
+
public ServerSettings() {
settings = new TreeMap<String, SettingModel>();
}
--
Gitblit v1.9.1