comparison TOOLS/fastmem.sh @ 13439:b35ec818ebeb

small fixes
author diego
date Wed, 22 Sep 2004 17:43:39 +0000
parents 5983b3ef67b4
children 15a7ea3fe2e0
comparison
equal deleted inserted replaced
13438:93cc1072ec38 13439:b35ec818ebeb