]> git.donarmstrong.com Git - debbugs.git/commitdiff
document usertag setting on initial e-mail
authorDon Armstrong <don@archimedes>
Sat, 21 Oct 2006 03:53:32 +0000 (20:53 -0700)
committerDon Armstrong <don@archimedes>
Sat, 21 Oct 2006 03:53:32 +0000 (20:53 -0700)
html/Reporting.html.in

index 62dd09af4f2c03d4475ae1ffcf9720057ce509f2..1b42aaed9279b20b852d6509d377bc751a8e1f6f 100644 (file)
@@ -217,6 +217,13 @@ as described in the
 <a href="Developer.html#tags">developers' documentation</a>.
 Separate multiple tags with commas, spaces, or both.
 
+<pre>
+Usertags: &lt;<var>usertags</var>&gt;
+</pre>
+
+<p>Replace &lt;<var>tags</var>&gt; with one or more usertags. Separate
+multiple tags with commas, spaces, or both.</p>
+
 
 <h2>Not forwarding to the mailing list - minor $gBug reports</h2>