comparison TOOLS/subsearch.sh @ 17196:8e6cf7bbe18a

make -o mandatory and add a warning when the extension does not match the container format, patch by Reynaldo Pinochet
author wanderer
date Thu, 15 Dec 2005 17:57:18 +0000
parents 4d8489f21983
children
comparison
equal deleted inserted replaced
17195:3b33f4c52324 17196:8e6cf7bbe18a