diff TOOLS/subsearch.sh @ 17518:eef1a44cf2cb

removed forgotten fprintf()
author nicodvb
date Mon, 30 Jan 2006 21:18:53 +0000
parents 4d8489f21983
children
line wrap: on
line diff