Be more verbose on gathering plugin's extension points

David Ostrovsky

2014-03-19 033e8c6026ec8925ba19b90fbcb9cb5427fe04ca

 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