diff TOOLS/fastmem.sh @ 13176:c73c708ad7f3

Small changes for added consistency.
author diego
date Sat, 28 Aug 2004 18:14:07 +0000
parents 5983b3ef67b4
children 15a7ea3fe2e0
line wrap: on
line diff