Changes between Version 44 and Version 45 of Users


Ignore:
Timestamp:
2017-05-17T11:20:45+02:00 (3 years ago)
Author:
nicolasmartin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Users

    v44 v45  
    6464<div> 
    6565<p><input type="text" name="q" value="" size="50"/></p> 
     66<p> 
     67<input type="checkbox" id="changeset" name="changeset" checked="checked"   /> Changesets 
     68<input type="checkbox" id="doxygen" name="doxygen" checked="checked"       /> Doxygen 
     69<input type="checkbox" id="discussion" name="discussion" checked="checked" /> Forum 
     70<input type="checkbox" id="ticket" name="ticket" checked="checked"         /> Tickets 
     71<input type="checkbox" id="wiki" name="wiki" checked="checked"             /> Wiki 
     72</p> 
    6673<p><input type="submit" value="Search"/></p> 
    6774</div> 
     
    9097<td style="border: none;">Branch</td> 
    9198<td style="border: none;"> 
    92 <input type="radio" name="branch"   value="nemo_v3_6_STABLE" checked> 3.6 
    93 <input type="radio" name="branch"   value="trunk"                   > trunk 
     99<input type="radio" name="branch" value="nemo_v3_6_STABLE" checked> 3.6 
     100<input type="radio" name="branch" value="trunk"                   > trunk 
    94101</td> 
    95102</tr>