comparison TOOLS/subsearch.sh @ 20450:c53da7ea44a0

Sync with Debian package.
author diego
date Fri, 27 Oct 2006 14:57:10 +0000
parents 4d8489f21983
children
comparison
equal deleted inserted replaced
20449:ba8b5e0e9b56 20450:c53da7ea44a0