Menu

Commit [r2975]  Maximize  Restore  History

Correctly highlight a search term prefixed by a "!" character. Closes #2718.

cboos 2006-03-08

changed /trunk/htdocs/js/trac.js
/trunk/htdocs/js/trac.js Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB