diff etc/menu.conf @ 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 e8a589ebd38a
children 69bf352bcef8
line wrap: on
line diff