diff Makefile @ 22057:64d71c9d25d9

Document -noidx.
author diego
date Tue, 30 Jan 2007 13:49:07 +0000
parents aa59f3608728
children 5bf6c178f09a
line wrap: on
line diff