Using boolean_preference instead of preference for 'marc' setting
authortonnesen <tonnesen>
Wed, 11 Jun 2003 18:37:55 +0000 (18:37 +0000)
committertonnesen <tonnesen>
Wed, 11 Jun 2003 18:37:55 +0000 (18:37 +0000)
commitd8844776511062e52ac3e67eb2e645b562274b5c
treeb7b239ce0e4889d22568c1e5f858197297c97239
parent7adffd6e8918e0820e7ab97b77b9f6e49cba4ac3
Using boolean_preference instead of preference for 'marc' setting
search.pl