PanLinx: wall trimming

English	eng-000
wall trimming

русский	rus-000	выравнивание боков выработки
русский	rus-000	оборка стенок выработки

PanLex-PanLinx