diff subopt-helper.h @ 21840:06b71b6fdde7

dont write an index and dont use memory to build one if -noidx is specified ... maybe this should use its own option though instead of using -noidx ?
author michael
date Mon, 08 Jan 2007 16:23:31 +0000
parents 5949a654e2d4
children 3baf6a2283da
line wrap: on
line diff