Add plugins/extension infrastructure

David Ostrovsky

2014-03-09 84f406bfd20ec2076cf7616e7f396ad480513bc4

 src/main/distrib/data/gitblit.properties

@@ -1844,3 +1844,11 @@
# SINCE 0.5.0

# RESTART REQUIRED

server.shutdownPort = 8081



# Base folder for plugins.

# This folder may contain Gitblit plugins

#

# SINCE 1.6.0

# RESTART REQUIRED

# BASEFOLDER

plugins.folder = ${baseFolder}/plugins