diff m_property.c @ 20224:08ee6acd3f6c

Implement -noidx since index can use quite a bit of memory, esp. when using valgrind.
author reimar
date Sun, 15 Oct 2006 12:48:18 +0000
parents 96568be4bfdc
children a5e5b0c45c03
line wrap: on
line diff