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