diff TOOLS/fastmem.sh @ 19885:7f9b2b26e905

Replace silly compilation shell scripts by a simple Makefile.
author diego
date Mon, 18 Sep 2006 14:27:35 +0000
parents 5983b3ef67b4
children 15a7ea3fe2e0
line wrap: on
line diff