From aae58435191c1b4e73ef7c5447e7a0832c7f0e53 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Thu, 06 Mar 2014 13:49:02 -0500 Subject: [PATCH] Merged #22 "Tie mirroring, pushing, and the BranchTicketService together" --- build.xml | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/build.xml b/build.xml index 71e7430..beefc54 100644 --- a/build.xml +++ b/build.xml @@ -570,7 +570,8 @@ <page name="overview" src="tickets_overview.mkd" /> <page name="using" src="tickets_using.mkd" /> <page name="barnum" src="tickets_barnum.mkd" /> - <page name="setup" src="tickets_setup.mkd" /> + <page name="setup" src="tickets_setup.mkd" /> + <page name="replication & advanced administration" src="tickets_replication.mkd" /> </menu> <divider /> <page name="federation" src="federation.mkd" /> @@ -909,6 +910,7 @@ <page name="using" src="tickets_using.mkd" /> <page name="barnum" src="tickets_barnum.mkd" /> <page name="setup" src="tickets_setup.mkd" /> + <page name="replication & advanced administration" src="tickets_replication.mkd" /> </menu> <divider /> <page name="federation" src="federation.mkd" /> -- Gitblit v1.9.1