Fix search highlighting.
authorrich <rich>
Mon, 27 Sep 2004 18:08:01 +0000 (18:08 +0000)
committerrich <rich>
Mon, 27 Sep 2004 18:08:01 +0000 (18:08 +0000)
commit2cc5a717993e43c75ab2e6cbda0361d4722d2227
treea4309e1df7654db26e26d2c8e94494ecbd703d78
parentdf32ab1d0dd164b73cfa9607797eaf85e0a0154d
Fix search highlighting.
debian/changelog
scripts/page.ml