round file

noun

The round face of a half-round file requires eight, ten or more courses to complete it.

The curve at the butt of the gun-stock should be cut out with the turning-saw, and rounded with a half-round file.

On the same end of the block, file (using round file) a groove right across the corner, about 1⁄8 in.

They are slightly enlarged, if necessary, by the round file.

Lacking that, bore a smaller hole and enlarge it with a round file.

Browse