When cleaning the cache of objects, don't be so verbose.
authorMichael Vrable <mvrable@cs.ucsd.edu>
Mon, 17 Sep 2007 04:25:15 +0000 (21:25 -0700)
committerMichael Vrable <mvrable@turin.ucsd.edu>
Mon, 17 Sep 2007 04:25:15 +0000 (21:25 -0700)
Change the command for cleaning from "rm -rv", dropping the "-v".


No differences found