Move delete repository function into the edit page

James Moger

2014-05-09 b4ed66fda03d83fd281ca9cbeae0a1c7785489e4

 src/main/distrib/data/gitblit.properties

@@ -766,7 +766,7 @@
# SINCE 0.5.0

web.allowCookieAuthentication = true



# Allow deleting of non empty repositories through the user interface.

# Allow deletion of non-empty repositories. This is enforced for all delete vectors.

#

# SINCE 1.6.0

web.allowDeletingNonEmptyRepositories = true