Documentation. Generate properties site page at build time.

James Moger

2011-07-07 a3f4748183623fa0e92381f3e49c29ebcdcbb56e

 src/com/gitblit/wicket/pages/EditRepositoryPage.java

@@ -143,7 +143,7 @@
               }



               // save the repository

               GitBlit.self().editRepositoryModel(oldName, repositoryModel, isCreate);

               GitBlit.self().updateRepositoryModel(oldName, repositoryModel, isCreate);



               // save the repository access list

               if (repositoryModel.accessRestriction.exceeds(AccessRestrictionType.NONE)) {