diff configure @ 5387:44661cb881d0

Allow cache to be disabled at commandline.
author atmos4
date Fri, 29 Mar 2002 02:52:45 +0000
parents 8a01cde9cf39
children cbf0fed4d211
line wrap: on
line diff