diff TOOLS/compare.c @ 26772:e60dfd4ffeae

There is no need to ignore errors from 'rm -f' commands.
author diego
date Sun, 18 May 2008 14:23:45 +0000
parents 2118c88fe0e1
children c63874a24179
line wrap: on
line diff