diff src/process.c @ 108238:c86b00c650ef

Delete names that have been removed from the tree.
author Dan Nicolaescu <dann@ics.uci.edu>
date Tue, 04 May 2010 09:53:59 -0700
parents 06c34f190db1
children 728449765ab0
line wrap: on
line diff