diff configure @ 19268:01c395bab564

Add Indexes to Options as suggested by Jaeho Shin.
author diego
date Sun, 30 Jul 2006 22:59:12 +0000
parents 3fc39ced158e
children 5ff55ce59ab4
line wrap: on
line diff