Ticket tracker with patchset contributions

James Moger

2013-12-09 5e3521f8496511db4df45f011ea72f25623ad90f

 build.xml

@@ -566,6 +566,13 @@
                  <page name="eclipse plugin" src="eclipse_plugin.mkd" />

               </menu>

               <divider />

               <menu name="tickets" pager="true" pagerPlacement="bottom" pagerLayout="justified">
                 <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" />
               </menu>
               <divider />
               <page name="federation" src="federation.mkd" />

               <divider />

               <page name="settings" src="properties.mkd" />

@@ -890,6 +897,13 @@
                     <page name="eclipse plugin" src="eclipse_plugin.mkd" />

                  </menu>

                  <divider />

                  <menu name="tickets" pager="true" pagerPlacement="bottom" pagerLayout="justified">
                     <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" />
                  </menu>
                  <divider />
                  <page name="federation" src="federation.mkd" />

                  <divider />

                  <page name="settings" src="properties.mkd" />