diff leim/CXTERM-DIC/SW.tit @ 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 04f23eb0c0ca
children 07774e5c3ff5 f1196eda45a0 ef719132ddfa
line wrap: on
line diff