You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
<dd>path of the source file(no need to use dividers).</dd>
176
+
<dd>path of the source file(no need to use dividers).</dd>
177
177
178
178
<dt>hist</dt>
179
179
<dd>History log comments.</dd>
180
180
181
181
<dt>type</dt>
182
-
<dd>Type of analyzer used to scope down to certain file types(e.g. just C sources).<br/>Current mappings: <%=SearchHelper.getFileTypeDescirptions().toString()%></dd>
182
+
<dd>Type of analyzer used to scope down to certain file types(e.g. just C sources).<br/>Current mappings: <%=SearchHelper.getFileTypeDescirptions().toString()%></dd>
183
183
184
184
</dl>
185
185
186
186
<p>
187
-
the term(phrases) can be boosted (making it more relevant) using a caret
187
+
the term(phrases) can be boosted (making it more relevant) using a caret
188
188
<b>^</b> , e.g. help^4 opengrok - will make term help boosted
0 commit comments