Closed simonpuchert closed 11 years ago
An option to toggle searching solutions/comments for keywords would be nice.
(Partially) solved in 064ca9d0a922ee7c5bb525127c76e6a7977bc621. It doesn't seem sensible to search comments as well.
An option to toggle searching solutions/comments for keywords would be nice.