Changes between Version 44 and Version 45 of Users_
- Timestamp:
- 2017-05-17T11:20:45+02:00 (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Users_
v44 v45 64 64 <div> 65 65 <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> 66 73 <p><input type="submit" value="Search"/></p> 67 74 </div> … … 90 97 <td style="border: none;">Branch</td> 91 98 <td style="border: none;"> 92 <input type="radio" name="branch" 93 <input type="radio" name="branch" 99 <input type="radio" name="branch" value="nemo_v3_6_STABLE" checked> 3.6 100 <input type="radio" name="branch" value="trunk" > trunk 94 101 </td> 95 102 </tr>