r11159: remove mrhier ptr index
[umlisp.git] / debian / compat
1 4