commit e5872a799854ae81ac01925e1892fdea3557623e parent 81b289642e93dc8e3abe82e9a7ebfb08e4f827a1 Author: Paul Steckler <steck@stecksoft.com> Date: Mon, 9 Sep 2002 17:26:24 +0000 no frames for doc.txt original commit: 882ea01e8e1b7c001106c247c1087d136e04b7e6 Diffstat:
| M | collects/help/private/search.ss | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss @@ -436,11 +436,11 @@ files)))) docs doc-names doc-kinds) (if (= 0 hit-count) - (format (string-constant nothing-found-for) + (format (string-constant plt:hd:nothing-found-for) (apply string-append (cons (format "\"~a\"" (car string-finds)) - (map (lambda (i) (format " ~a \"~a\"" (string-constant and) i)) + (map (lambda (i) (format " ~a \"~a\"" (string-constant plt:hd:and) i)) (cdr string-finds))))) #f))))