Documentation. Generate properties site page at build time.

James Moger

2011-07-07 a3f4748183623fa0e92381f3e49c29ebcdcbb56e

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

@@ -143,7 +143,7 @@
            userModel.repositories.clear();

            userModel.repositories.addAll(repos);

            try {

               GitBlit.self().editUserModel(oldName, userModel, isCreate);

               GitBlit.self().updateUserModel(oldName, userModel, isCreate);

            } catch (GitBlitException e) {

               error(e.getMessage());

               return;