-
Pekka Pessi authored
Added command line option --expensive and environment variable EXPENSIVE_CHECKS, too. darcs-hash:20060510184026-65a35-2f450d0a7998e82587c0b67346ae7fef39c570d5.gz
4252571f
Added command line option --expensive and environment variable EXPENSIVE_CHECKS, too. darcs-hash:20060510184026-65a35-2f450d0a7998e82587c0b67346ae7fef39c570d5.gz