Delete names that have been removed from the tree.
authorDan Nicolaescu <dann@ics.uci.edu>
Tue, 4 May 2010 16:53:59 +0000 (09:53 -0700)
committerDan Nicolaescu <dann@ics.uci.edu>
Tue, 4 May 2010 16:53:59 +0000 (09:53 -0700)
commitae4aa8241f941875848d6e4b66e686cf6da71cfb
tree8f138212b9d51ca78feed43c93ec19efd9c77ebc
parent991be6d4e6eb4cf7aace190d4c68acda609a260f
Delete names that have been removed from the tree.
admin/CPP-DEFINES