r11159: remove mrhier ptr index
[umlisp.git] / debian / docs
2002-10-08 Kevin M. Rosenbergr2952: *** empty log message ***