Merged #22 "Tie mirroring, pushing, and the BranchTicketService together"

James Moger

2014-03-06 aae58435191c1b4e73ef7c5447e7a0832c7f0e53

 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 &amp; 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 &amp; advanced administration" src="tickets_replication.mkd" />

                  </menu>
                  <divider />
                  <page name="federation" src="federation.mkd" />