Pitched dressing

In stonework, a finish dressed to neat lines or edges with a pitching chisel.