diff options
| author | James Moger <james.moger@gitblit.com> | 2013-06-26 17:09:01 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-06-26 17:09:01 -0400 |
| commit | 17725677285470ca7dbf5da93e4235415545a7cf (patch) | |
| tree | 5ea4e9263b7f651a24f6c12cf48c04300152a159 /src/main/distrib | |
| parent | f3a9d8bdbe5e2bfcf23ede30c8ebdb112ce49ba9 (diff) | |
| download | gitblit-17725677285470ca7dbf5da93e4235415545a7cf.tar.gz gitblit-17725677285470ca7dbf5da93e4235415545a7cf.zip | |
Support custom header logo images of 120x45 (issue 208)
Diffstat (limited to 'src/main/distrib')
| -rw-r--r-- | src/main/distrib/data/gitblit.properties | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index d5573a61..50b09f30 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -531,6 +531,13 @@ realm.minPasswordLength = 5 # SINCE 0.5.0
web.siteName =
+# You may specify a different logo image for the header but it must be 120x45px.
+# If the specified file does not exist, the default Gitblit logo will be used.
+#
+# SINCE 1.3.0
+# BASEFOLDER
+web.headerLogo = ${baseFolder}/logo.png
+
# If *web.authenticateAdminPages*=true, users with "admin" role can create
# repositories, create users, and edit repository metadata.
#
|