Changes between Version 44 and Version 45 of Users_

Timestamp:

2017-05-17T11:20:45+02:00 (7 years ago)

Author:

nicolasmartin

Comment:

--

Users_

@@ -64 +64 @@
 <div>
 <p><input type="text" name="q" value="" size="50"/></p>
+<p>
+<input type="checkbox" id="changeset" name="changeset" checked="checked"   /> Changesets
+<input type="checkbox" id="doxygen" name="doxygen" checked="checked"       /> Doxygen
+<input type="checkbox" id="discussion" name="discussion" checked="checked" /> Forum
+<input type="checkbox" id="ticket" name="ticket" checked="checked"         /> Tickets
+<input type="checkbox" id="wiki" name="wiki" checked="checked"             /> Wiki
+</p>
 <p><input type="submit" value="Search"/></p>
 </div>
@@ -90 +97 @@
 <td style="border: none;">Branch</td>
 <td style="border: none;">
-<input type="radio" name="branch"   value="nemo_v3_6_STABLE" checked> 3.6
-<input type="radio" name="branch"   value="trunk"                   > trunk
+<input type="radio" name="branch" value="nemo_v3_6_STABLE" checked> 3.6
+<input type="radio" name="branch" value="trunk"                   > trunk
 </td>
 </tr>