diff scripts/uninstall.sh @ 1573:c6b50b7b958c

lucene/Web_search improvement
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 12 Dec 2020 21:01:04 -0700
parents ffb47187f02f
children bda4ec615c5b
line wrap: on
line diff