round file

noun — 2 senses

round file

noun

1

A metal file with a circular or rounded shape, used for shaping round surfaces.

Use a round file to deburr the pipe.

2

Humorous The trash; the wastebasket.

My junk mail goes straight into the round file the moment it arrives.

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.