diff DOCS/tech/playtree @ 18780:3751ca28809c

Remove forgotten --disable-setlocale option from --help output. noticed by Jim Huang jserv&&@&&linux2&&.&&cc&&.&&ntu&&.&&edu&&.&&tw
author diego
date Thu, 22 Jun 2006 09:27:00 +0000
parents 252fb0cf331a
children f3d7a1b58a82
line wrap: on
line diff