Removed DoubleCheckedLocking from checkstyle.xml. Since Checkstyle 5.6 it's...

Markus Fömpe

2013-01-04 9c47959ece677eaaceb6f3d2eb42b0466f60acdc

 src/com/gitblit/wicket/pages/TicketPage.html

@@ -8,7 +8,7 @@
<wicket:extend>



   <!-- ticket title -->

   <div style="font-size:150%;padding-top:5px;" wicket:id="ticketTitle">[ticket title]</div>

   <div style="font-size:150%;padding-top:5px;padding-bottom:5px;" wicket:id="ticketTitle">[ticket title]</div>

      

   <!-- ticket info -->

   <table class="plain">