r10330: fix duplicate docstring
[umlisp.git] / debian / prerm
2002-10-05 Kevin M. Rosenbergr2947: *** empty log message ***